Skip to content

Actions: OxiDD/oxidd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
200 workflow runs
200 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
Move restrict from BooleanFunctionQuant to BooleanFunction C++ #204: Commit 6bc9548 pushed by nhusung
2m 33s main
main
2m 33s
Move restrict from BooleanFunctionQuant to BooleanFunction Spell Check #249: Commit 6bc9548 pushed by nhusung
13s main
main
13s
Move restrict from BooleanFunctionQuant to BooleanFunction Rust #197: Commit 6bc9548 pushed by nhusung
2m 11s main
main
2m 11s
Move restrict from BooleanFunctionQuant to BooleanFunction Python #203: Commit 6bc9548 pushed by nhusung
5m 36s main
main
5m 36s
Implement restrict() for PseudoBooleanFunction/MTBDD Rust #196: Commit e4df116 pushed by nhusung
2m 6s main
main
2m 6s
Implement restrict() for PseudoBooleanFunction/MTBDD Python #202: Commit e4df116 pushed by nhusung
5m 51s main
main
5m 51s
Implement restrict() for PseudoBooleanFunction/MTBDD Spell Check #248: Commit e4df116 pushed by nhusung
13s main
main
13s
Implement restrict() for PseudoBooleanFunction/MTBDD C++ #203: Commit e4df116 pushed by nhusung
53m 48s main
main
53m 48s
Spell Check Spell Check #247: by nhusung
10s main
main
10s
Speed up reordering tests with Miri Python #201: Commit 2e5a904 pushed by nhusung
5m 45s main
main
5m 45s
Speed up reordering tests with Miri C++ #202: Commit 2e5a904 pushed by nhusung
2m 9s main
main
2m 9s
Speed up reordering tests with Miri Rust #195: Commit 2e5a904 pushed by nhusung
2m 5s main
main
2m 5s
Release OxiDD 0.12.0 Spell Check #245: Commit 9968903 pushed by nhusung
12s v0.12.0
v0.12.0
12s
Release OxiDD 0.12.0 Rust #194: Commit 9968903 pushed by nhusung
2m 6s v0.12.0
v0.12.0
2m 6s
Release OxiDD 0.12.0 Python #200: Commit 9968903 pushed by nhusung
7m 43s v0.12.0
v0.12.0
7m 43s
Release OxiDD 0.12.0 C++ #201: Commit 9968903 pushed by nhusung
2m 5s v0.12.0
v0.12.0
2m 5s
Graph Update: pip in /. #1452390154 Dependency Graph #4: by dependabot Bot
48s main
main
48s
Release OxiDD 0.12.0 Rust #193: Commit 9968903 pushed by nhusung
2m 27s main
main
2m 27s
Release OxiDD 0.12.0 Python #199: Commit 9968903 pushed by nhusung
8m 3s main
main
8m 3s
Release OxiDD 0.12.0 Spell Check #244: Commit 9968903 pushed by nhusung
14s main
main
14s
Release OxiDD 0.12.0 C++ #200: Commit 9968903 pushed by nhusung
2m 15s main
main
2m 15s
Graph Update: pip in /. #1452362688 Dependency Graph #3: by dependabot Bot
50s main
main
50s
CI: update actions Rust #192: Commit e790517 pushed by nhusung
2m 3s main
main
2m 3s
CI: update actions Spell Check #243: Commit e790517 pushed by nhusung
10s main
main
10s
CI: update actions Python #198: Commit e790517 pushed by nhusung
7m 54s main
main
7m 54s