Skip to content

Actions: OptimalBranching/boolean-inference

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
CnC comparison environment: region-branching cuber + kissat conquer +… CI #27: Commit 0c14d3c pushed by isPANN
24s main
main
24s
CnC comparison environment: region-branching cuber + kissat conquer + baseline Makefile CI #26: Pull request #17 opened by isPANN
34s cnc-comparison-env
cnc-comparison-env
34s
KISS/DRY cleanup: hot-path micro-opts, dedup consolidation, CSP bench… CI #25: Commit e980da6 pushed by isPANN
2m 40s main
main
2m 40s
KISS/DRY cleanup: hot-path micro-opts, dedup consolidation, CSP bench generators CI #24: Pull request #16 synchronize by isPANN
2m 4s kiss-dry-micro-opt
kiss-dry-micro-opt
2m 4s
KISS/DRY cleanup: hot-path micro-opts, dedup consolidation, CSP bench generators CI #23: Pull request #16 opened by isPANN
19s kiss-dry-micro-opt
kiss-dry-micro-opt
19s
github_actions in /. - Update #1454160829 Dependabot Updates #7: by dependabot Bot
28s main
main
28s
cargo in /. - Update #1454160831 Dependabot Updates #6: by dependabot Bot
42s main
main
42s
benchmarks: reproducible factoring instance generator (#7) CI #22: Commit d63b1d2 pushed by isPANN
24s main
main
24s
benchmarks: reproducible factoring instance generator CI #21: Pull request #7 synchronize by isPANN
30s add-factoring-benchmarks
add-factoring-benchmarks
30s
benchmarks: reproducible factoring instance generator CI #20: Pull request #7 opened by isPANN
31s add-factoring-benchmarks
add-factoring-benchmarks
31s
chore(deps): bump criterion from 0.6.0 to 0.8.2 (#5) CI #19: Commit 57c5308 pushed by isPANN
2m 30s main
main
2m 30s
chore(deps): bump wide from 0.7.33 to 1.5.0 (#6) CI #18: Commit f4c5f70 pushed by isPANN
3m 42s main
main
3m 42s
chore(deps): bump criterion from 0.6.0 to 0.8.2 CI #17: Pull request #5 synchronize by isPANN
2m 39s dependabot/cargo/criterion-0.8.2
dependabot/cargo/criterion-0.8.2
2m 39s
cargo in / for criterion - Update #1453586581 Dependabot Updates #5: by dependabot Bot
4m 1s main
main
4m 1s
chore(deps): bump rustc-hash in the cargo-minor-patch group (#4) CI #16: Commit f8f423a pushed by isPANN
2m 22s main
main
2m 22s
chore(deps): bump actions/checkout from 4 to 7 (#3) CI #15: Commit 2f03849 pushed by isPANN
1m 1s main
main
1m 1s
chore(deps): bump wide from 0.7.33 to 1.5.0 CI #14: Pull request #6 opened by dependabot Bot
7m 26s dependabot/cargo/wide-1.5.0
dependabot/cargo/wide-1.5.0
7m 26s
chore(deps): bump criterion from 0.6.0 to 0.8.2 CI #13: Pull request #5 opened by dependabot Bot
6m 57s dependabot/cargo/criterion-0.8.2
dependabot/cargo/criterion-0.8.2
6m 57s
chore(deps): bump rustc-hash from 2.1.2 to 2.1.3 in the cargo-minor-patch group CI #12: Pull request #4 opened by dependabot Bot
2m 50s dependabot/cargo/cargo-minor-patch-e0fde0b876
dependabot/cargo/cargo-minor-patch-e0fde0b876
2m 50s
chore(deps): bump actions/checkout from 4 to 7 CI #11: Pull request #3 opened by dependabot Bot
35s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
35s
cargo in /. - Update #1453577385 Dependabot Updates #4: by dependabot Bot
46s main
main
46s
github_actions in /. - Update #1453577387 Dependabot Updates #3: by dependabot Bot
34s main
main
34s
github_actions in /. - Update #1453577373 Dependabot Updates #2: by dependabot Bot
33s main
main
33s
cargo in /. - Update #1453577371 Dependabot Updates #1: by dependabot Bot
1m 2s main
main
1m 2s
Region-redesign: fresh per-node regions, γ-optimal branching, and a r… CI #10: Commit f2cfdce pushed by isPANN
31s main
main
31s