Skip to content

Actions: taikoxyz/halo2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix poly degree 0 underflow CI checks #11: Pull request #10 synchronize by smtmfft
October 20, 2023 15:24 21m 23s fix-0-poly
fix-0-poly
October 20, 2023 15:24 21m 23s
fix poly degree 0 underflow Stable lints #5: Pull request #10 synchronize by smtmfft
October 20, 2023 15:24 6m 45s fix-0-poly
fix-0-poly
October 20, 2023 15:24 6m 45s
fix clippy CI checks #10: Commit 5626cd7 pushed by smtmfft
October 20, 2023 15:24 18m 18s fix-0-poly
fix-0-poly
October 20, 2023 15:24 18m 18s
fix clippy Beta lints #8: Commit 5626cd7 pushed by smtmfft
October 20, 2023 15:24 5m 36s fix-0-poly
fix-0-poly
October 20, 2023 15:24 5m 36s
fix poly degree 0 underflow CI checks #9: Pull request #10 synchronize by smtmfft
October 20, 2023 15:13 20m 55s fix-0-poly
fix-0-poly
October 20, 2023 15:13 20m 55s
fix poly degree 0 underflow Stable lints #4: Pull request #10 synchronize by smtmfft
October 20, 2023 15:13 5m 35s fix-0-poly
fix-0-poly
October 20, 2023 15:13 5m 35s
fix lint Beta lints #7: Commit a516540 pushed by smtmfft
October 20, 2023 15:13 7m 5s fix-0-poly
fix-0-poly
October 20, 2023 15:13 7m 5s
fix lint CI checks #8: Commit a516540 pushed by smtmfft
October 20, 2023 15:13 20m 55s fix-0-poly
fix-0-poly
October 20, 2023 15:13 20m 55s
fix poly degree 0 underflow Stable lints #3: Pull request #10 synchronize by smtmfft
October 20, 2023 11:04 5m 18s fix-0-poly
fix-0-poly
October 20, 2023 11:04 5m 18s
fix poly degree 0 underflow CI checks #7: Pull request #10 synchronize by smtmfft
October 20, 2023 11:04 17m 3s fix-0-poly
fix-0-poly
October 20, 2023 11:04 17m 3s
use origin underflow fix and fix clippy Beta lints #6: Commit f94bbb0 pushed by smtmfft
October 20, 2023 11:04 6m 15s fix-0-poly
fix-0-poly
October 20, 2023 11:04 6m 15s
use origin underflow fix and fix clippy CI checks #6: Commit f94bbb0 pushed by smtmfft
October 20, 2023 11:04 17m 44s fix-0-poly
fix-0-poly
October 20, 2023 11:04 17m 44s
fix poly degree 0 underflow Stable lints #2: Pull request #10 synchronize by smtmfft
October 17, 2023 07:32 5m 7s fix-0-poly
fix-0-poly
October 17, 2023 07:32 5m 7s
fix poly degree 0 underflow CI checks #5: Pull request #10 synchronize by smtmfft
October 17, 2023 07:32 16m 58s fix-0-poly
fix-0-poly
October 17, 2023 07:32 16m 58s
update logic & fix fmt CI checks #4: Commit 69aa268 pushed by smtmfft
October 17, 2023 07:32 12m 59s fix-0-poly
fix-0-poly
October 17, 2023 07:32 12m 59s
update logic & fix fmt Beta lints #5: Commit 69aa268 pushed by smtmfft
October 17, 2023 07:32 5m 31s fix-0-poly
fix-0-poly
October 17, 2023 07:32 5m 31s
fix poly degree 0 underflow Stable lints #1: Pull request #10 opened by smtmfft
October 13, 2023 03:06 5m 12s fix-0-poly
fix-0-poly
October 13, 2023 03:06 5m 12s
fix poly degree 0 underflow CI checks #3: Pull request #10 opened by smtmfft
October 13, 2023 03:06 16m 54s fix-0-poly
fix-0-poly
October 13, 2023 03:06 16m 54s
fix poly degree 0 underflow CI checks #2: Commit d3412e0 pushed by smtmfft
October 13, 2023 03:03 17m 1s fix-0-poly
fix-0-poly
October 13, 2023 03:03 17m 1s
fix poly degree 0 underflow Beta lints #4: Commit d3412e0 pushed by smtmfft
October 13, 2023 03:03 6m 41s fix-0-poly
fix-0-poly
October 13, 2023 03:03 6m 41s
Implement Sum and Product for Expression (#209) Beta lints #3: Commit 0c3e3b5 pushed by mratsim
October 12, 2023 15:31 5m 43s pse/main
pse/main
October 12, 2023 15:31 5m 43s
Implement Sum and Product for Expression (#209) Beta lints #2: Commit 0c3e3b5 pushed by mratsim
October 12, 2023 15:29 5m 24s pse/main
pse/main
October 12, 2023 15:29 5m 24s
Resolve Prover optimization: memory reduction #77 (#6) Beta lints #1: Commit 9eaccbb pushed by mratsim
October 12, 2023 14:08 4m 47s taiko/unstable
taiko/unstable
October 12, 2023 14:08 4m 47s
Resolve Prover optimization: memory reduction #77 (#6) CI checks #1: Commit 9eaccbb pushed by mratsim
October 12, 2023 14:08 4m 31s taiko/unstable
taiko/unstable
October 12, 2023 14:08 4m 31s