Project/2023/boolean optimisation #795
Triggered via pull request
February 13, 2024 09:42
Status
Cancelled
Total duration
52m 58s
Artifacts
–
benchmark.yml
on: pull_request
Skip Job?
4s
Matrix: run_dummy
Matrix: run_picotrav
Matrix: run_qbf
Annotations
2 errors and 16 warnings