bool_op
refactor
#820
benchmark.yml
on: pull_request
Skip Job?
9s
Matrix: run_dummy
Matrix: run_picotrav
Matrix: run_qbf
Annotations
13 errors and 2 warnings