Skip to content

Actions: OxiDD/oxidd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 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
Disable caching SAT counts of nodes with ref_count 1 by default C++ #196: Commit fe99191 pushed by nhusung
3m 31s main
main
3m 31s
Disable caching SAT counts of nodes with ref_count 1 by default Rust #187: Commit fe99191 pushed by nhusung
4m 2s main
main
4m 2s
Disable caching SAT counts of nodes with ref_count 1 by default Spell Check #238: Commit fe99191 pushed by nhusung
2m 20s main
main
2m 20s
Disable caching SAT counts of nodes with ref_count 1 by default Python #193: Commit fe99191 pushed by nhusung
6m 58s main
main
6m 58s
Clippy C++ #195: Commit 035f5bc pushed by nhusung
3m 9s main
main
3m 9s
Clippy Spell Check #237: Commit 035f5bc pushed by nhusung
18s main
main
18s
Clippy Python #192: Commit 035f5bc pushed by nhusung
7m 21s main
main
7m 21s
Clippy Rust #186: Commit 035f5bc pushed by nhusung
1m 59s main
main
1m 59s
Optimize concurrent_bubble_sort Spell Check #236: Commit bf391fd pushed by nhusung
17s main
main
17s
Optimize concurrent_bubble_sort Rust #185: Commit bf391fd pushed by nhusung
1m 57s main
main
1m 57s
Optimize concurrent_bubble_sort C++ #194: Commit bf391fd pushed by nhusung
1m 53s main
main
1m 53s
Optimize concurrent_bubble_sort Python #191: Commit bf391fd pushed by nhusung
6m 1s main
main
6m 1s
ApplyCache: rename *_with_numeric() into *_extended(), update docs Python #190: Commit ef88fb9 pushed by nhusung
6m 11s main
main
6m 11s
ApplyCache: rename *_with_numeric() into *_extended(), update docs Spell Check #235: Commit ef88fb9 pushed by nhusung
11s main
main
11s
ApplyCache: rename *_with_numeric() into *_extended(), update docs Rust #184: Commit ef88fb9 pushed by nhusung
1m 59s main
main
1m 59s
ApplyCache: rename *_with_numeric() into *_extended(), update docs C++ #193: Commit ef88fb9 pushed by nhusung
9m 36s main
main
9m 36s
Fix spellcheck C++ #192: Commit 7da8947 pushed by nhusung
1m 53s main
main
1m 53s
Fix spellcheck Rust #183: Commit 7da8947 pushed by nhusung
1m 55s main
main
1m 55s
Fix spellcheck Spell Check #234: Commit 7da8947 pushed by nhusung
22s main
main
22s
Allow multiple values in ApplyCache C++ #191: Commit 57c0b57 pushed by nhusung
6m 6s main
main
6m 6s
Allow multiple values in ApplyCache Python #189: Commit 57c0b57 pushed by nhusung
7m 0s main
main
7m 0s
Allow multiple values in ApplyCache Rust #182: Commit 57c0b57 pushed by nhusung
2m 0s main
main
2m 0s
Bump MSRV to 1.85 for oxidd-* crates C++ #190: Commit 602fea4 pushed by nhusung
2m 3s main
main
2m 3s
Bump MSRV to 1.85 for oxidd-* crates Rust #181: Commit 602fea4 pushed by nhusung
1m 57s main
main
1m 57s
Bump MSRV to 1.85 for oxidd-* crates Python #188: Commit 602fea4 pushed by nhusung
7m 32s main
main
7m 32s