Skip to content

Actions: pnyda/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-beta.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Dump lookup constraints on fibonacci circuit Beta lints #8: Commit 912ab4b pushed by pnyda
October 28, 2024 07:56 2m 52s ccs
ccs
October 28, 2024 07:56 2m 52s
See cell assignments of fibonacci circuit Beta lints #7: Commit 6cbfad2 pushed by pnyda
October 21, 2024 08:01 2m 49s ccs
ccs
October 21, 2024 08:01 2m 49s
Add tests for dump_gates Beta lints #6: Commit 3aa1780 pushed by pnyda
October 7, 2024 07:57 2m 37s ccs
ccs
October 7, 2024 07:57 2m 37s
Add tests Beta lints #5: Commit dd90350 pushed by pnyda
September 27, 2024 08:04 1m 16s ccs
ccs
September 27, 2024 08:04 1m 16s
Rename ccs.rs -> dump.rs Beta lints #4: Commit 66e14be pushed by pnyda
September 13, 2024 07:46 3m 53s ccs
ccs
September 13, 2024 07:46 3m 53s
Remove unnecessary PhantomData Beta lints #3: Commit ba09ae3 pushed by pnyda
September 9, 2024 07:54 16m 24s ccs
ccs
September 9, 2024 07:54 16m 24s
Dump advice cells too Beta lints #2: Commit 557a2e6 pushed by pnyda
September 9, 2024 07:50 20m 39s ccs
ccs
September 9, 2024 07:50 20m 39s
Dump assignments for fixed cells Beta lints #1: Commit 135466b pushed by pnyda
September 9, 2024 06:54 20m 41s ccs
ccs
September 9, 2024 06:54 20m 41s