Skip to content

Actions: Coloquinte/volute

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 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
Play with swap-only canonization Test #123: Commit 1e195a9 pushed by Coloquinte
10m 22s count_tables
count_tables
10m 22s
Bump version number Test #122: Commit 3b93332 pushed by Coloquinte
5m 17s main
main
5m 17s
Single pass N canonization is both simpler and faster Test #121: Commit 84443f0 pushed by Coloquinte
7m 3s main
main
7m 3s
One more attempt Test #120: Commit e019da3 pushed by Coloquinte
6m 30s npn_attempt2
npn_attempt2
6m 30s
Attempt to use single-pass flipping for NPN, but it doesn't improve t… Test #119: Commit 32e14d1 pushed by Coloquinte
5m 23s npn_attempt
npn_attempt
5m 23s
Test canonization exhaustively to avoid regressions Test #118: Commit 69ddcd2 pushed by Coloquinte
5m 23s main
main
5m 23s
2x faster P and NPN canonization by forcing inlining Test #117: Commit e7722c4 pushed by Coloquinte
5m 23s main
main
5m 23s
More similar Lut and StaticLut files Test #116: Commit b292376 pushed by Coloquinte
5m 36s main
main
5m 36s
Minor doc changes Test #115: Commit 85a265f pushed by Coloquinte
5m 23s main
main
5m 23s
Faster testcase Test #114: Commit 7a4e515 pushed by Coloquinte
5m 38s main
main
5m 38s
Faster testcase Test #113: Commit 7a4e515 pushed by Coloquinte
5m 16s next
next
5m 16s
Fix clippy lints for optional features Test #112: Commit b7aa1e3 pushed by Coloquinte
6m 12s next
next
6m 12s
Fix clippy lints for optional features Test #111: Commit fee5b0a pushed by Coloquinte
2m 28s next
next
2m 28s
Silence clippy warning about sop module Test #110: Commit b655db4 pushed by Coloquinte
6m 1s next
next
6m 1s
Cleanup and speedup BDD handling Test #109: Commit 732278c pushed by Coloquinte
5m 52s next
next
5m 52s
Cleanup and speedup BDD handling Test #108: Commit c80c053 pushed by Coloquinte
2m 28s next
next
2m 28s
Implement Debug as Display for Luts Test #107: Commit 119a278 pushed by Coloquinte
5m 56s next
next
5m 56s
Make some fonctions const for static luts Test #106: Commit dcb4364 pushed by Coloquinte
5m 52s next
next
5m 52s
Make some fonctions const for static luts Test #105: Commit 1df13a1 pushed by Coloquinte
3m 1s next
next
3m 1s
Clarify generic parameters Test #104: Commit 7a5acfe pushed by Coloquinte
6m 6s next
next
6m 6s
Fix clippy warnings Test #103: Commit c7368c0 pushed by Coloquinte
5m 59s next
next
5m 59s
Fix clippy warnings Test #102: Commit cbc0d5a pushed by Coloquinte
5m 58s next
next
5m 58s
Improved doc; conversion between Lut7 and u128; cleanup rustsat use; … Test #101: Commit fb79d78 pushed by Coloquinte
5m 54s main
main
5m 54s
Improved doc; conversion between Lut7 and u128; cleanup rustsat use; … Test #100: Commit fbb8b21 pushed by Coloquinte
2m 48s main
main
2m 48s
Add keyword and bump version number Test #99: Commit 9219508 pushed by Coloquinte
5m 17s main
main
5m 17s