Skip to content

Always run

Always run #428

Triggered via push January 18, 2024 13:14
Status Failure
Total duration 1h 11m 3s
Artifacts 2

main.yml

on: push
Matrix: Build-Linux
Matrix: Build-macOS
Matrix: Test-macOS
Matrix: Solvers-Linux
Matrix: Test-Linux
Matrix: Upgrade-Linux
Matrix: Solvers-macOS
Matrix: Upgrade-macOS
Matrix: Build-Windows
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Hygiene
Not Found
Solvers-macOS (z3, 4.14.1)
Process completed with exit code 10.

Artifacts

Produced during runtime
Name Size
opam-exe-i686-pc-windows-4.14.1-x86_64-pc-cygwin Expired
9.8 MB
opam-exe-x86_64-pc-windows-4.14.1-x86_64-pc-cygwin Expired
12.2 MB