Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates #1645
Triggered via pull request
November 4, 2023 13:48
SSoelvsten
Status
Cancelled
Total duration
7m 33s
Artifacts
–
examples.yml
on: pull_request
Skip Job?
4s
Matrix: run-dummy
Matrix: run-example
Annotations
2 errors
|
Example: Knights Tour
The run was canceled by @github-actions.
|
|
Example: Queens
The run was canceled by @github-actions.
|