Skip to content

Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates #687

Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates

Add 'bdd_isvar', 'bdd_isithvar', and 'bdd_isnithvar' predicates #687

Triggered via pull request November 4, 2023 13:49
@SSoelvstenSSoelvsten
synchronize #567
bdd/isvar
Status Cancelled
Total duration 6m 30s
Artifacts

benchmark.yml

on: pull_request
Skip Job?
5s
Skip Job?
Fetch branch name
0s
Fetch branch name
Fetch remote
0s
Fetch remote
Matrix: run_dummy
Matrix: run_benchmark
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Fetch branch name
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
Fetch remote
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/