Skip to content

Actions: OxiDD/oxidd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
545 workflow runs
545 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependencies Spell Check #95: Commit bc64ca7 pushed by nhusung
July 5, 2024 08:18 15s main
main
July 5, 2024 08:18 15s
Update dependencies Python #62: Commit bc64ca7 pushed by nhusung
July 5, 2024 08:18 18m 59s main
main
July 5, 2024 08:18 18m 59s
Update dependencies C++ #73: Commit bc64ca7 pushed by nhusung
July 5, 2024 08:18 2m 57s main
main
July 5, 2024 08:18 2m 57s
Introduce recursor to avoid code duplication Rust #65: Commit b2ca85d pushed by nhusung
July 5, 2024 07:08 2m 3s recursor
recursor
July 5, 2024 07:08 2m 3s
Introduce recursor to avoid code duplication Python #61: Commit b2ca85d pushed by nhusung
July 5, 2024 07:08 18m 52s recursor
recursor
July 5, 2024 07:08 18m 52s
Introduce recursor to avoid code duplication Spell Check #94: Commit b2ca85d pushed by nhusung
July 5, 2024 07:08 13s recursor
recursor
July 5, 2024 07:08 13s
Introduce recursor to avoid code duplication C++ #72: Commit b2ca85d pushed by nhusung
July 5, 2024 07:08 2m 48s recursor
recursor
July 5, 2024 07:08 2m 48s
Allow arbitrary arity trees when specifying the clause order C++ #71: Commit 75d8e04 pushed by nhusung
July 2, 2024 19:56 3m 25s tree-parallel
tree-parallel
July 2, 2024 19:56 3m 25s
Allow arbitrary arity trees when specifying the clause order Spell Check #93: Commit 75d8e04 pushed by nhusung
July 2, 2024 19:56 13s tree-parallel
tree-parallel
July 2, 2024 19:56 13s
Allow arbitrary arity trees when specifying the clause order Python #60: Commit 75d8e04 pushed by nhusung
July 2, 2024 19:56 19m 21s tree-parallel
tree-parallel
July 2, 2024 19:56 19m 21s
Allow arbitrary arity trees when specifying the clause order Rust #64: Commit 75d8e04 pushed by nhusung
July 2, 2024 19:56 1m 53s tree-parallel
tree-parallel
July 2, 2024 19:56 1m 53s
Add --cnf-build-order=tree-parallel Rust #63: Commit 8a74879 pushed by nhusung
June 26, 2024 11:14 1m 48s tree-parallel
tree-parallel
June 26, 2024 11:14 1m 48s
Add --cnf-build-order=tree-parallel Spell Check #92: Commit 8a74879 pushed by nhusung
June 26, 2024 11:14 12s tree-parallel
tree-parallel
June 26, 2024 11:14 12s
Add --cnf-build-order=tree-parallel C++ #70: Commit 8a74879 pushed by nhusung
June 26, 2024 11:14 2m 30s tree-parallel
tree-parallel
June 26, 2024 11:14 2m 30s
Add --cnf-build-order=tree-parallel Python #59: Commit 8a74879 pushed by nhusung
June 26, 2024 11:14 20m 56s tree-parallel
tree-parallel
June 26, 2024 11:14 20m 56s
Replace accidentally platform-specific file extension check Spell Check #91: Commit 87ccf7f pushed by nhusung
June 26, 2024 11:11 12s tree-parallel
tree-parallel
June 26, 2024 11:11 12s
Replace accidentally platform-specific file extension check C++ #69: Commit 87ccf7f pushed by nhusung
June 25, 2024 14:26 3m 46s main
main
June 25, 2024 14:26 3m 46s
Replace accidentally platform-specific file extension check Python #58: Commit 87ccf7f pushed by nhusung
June 25, 2024 14:26 21m 7s main
main
June 25, 2024 14:26 21m 7s
Replace accidentally platform-specific file extension check Spell Check #90: Commit 87ccf7f pushed by nhusung
June 25, 2024 14:26 15s main
main
June 25, 2024 14:26 15s
Replace accidentally platform-specific file extension check Rust #62: Commit 87ccf7f pushed by nhusung
June 25, 2024 14:26 1m 49s main
main
June 25, 2024 14:26 1m 49s
Fix doc C++ #68: Commit c5a4f0b pushed by nhusung
June 24, 2024 15:02 3m 29s main
main
June 24, 2024 15:02 3m 29s
Fix doc Spell Check #89: Commit c5a4f0b pushed by nhusung
June 24, 2024 15:02 17s main
main
June 24, 2024 15:02 17s
Fix doc Python #57: Commit c5a4f0b pushed by nhusung
June 24, 2024 15:02 21m 50s main
main
June 24, 2024 15:02 21m 50s
Fix doc Rust #61: Commit c5a4f0b pushed by nhusung
June 24, 2024 15:02 1m 53s main
main
June 24, 2024 15:02 1m 53s
Expose Substitution and Subst in oxidd Spell Check #88: Commit 9c20f3d pushed by nhusung
June 24, 2024 15:00 13s main
main
June 24, 2024 15:00 13s