Skip to content

Fix a bug in the specification found by SAT solver #196

Fix a bug in the specification found by SAT solver

Fix a bug in the specification found by SAT solver #196

Triggered via push October 1, 2024 23:44
Status Failure
Total duration 10m 34s
Artifacts

makefile.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build (ubuntu-latest)
Process completed with exit code 2.
build (macos-14)
Cache save failed.