Skip to content
benchmark (pull request)

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) #680

Sign in to view logs

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later)

Simple overloads of bdd_restrict, zdd_offset, and zdd_onset (and add bdd_topvar(f)/zdd_topvar(A) for later) #680

Triggered via pull request November 4, 2023 09:49
@SSoelvstenSSoelvsten
synchronize #564
bdd/restrict_overloads
Status Cancelled
Total duration 9m 12s
Artifacts –

benchmark.yml

on: pull_request
Skip Job?
7s
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

1 error and 2 warnings
Skip Job?
The run was canceled by @github-actions.
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/