Skip to content

Actions: scroll-tech/halo2

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
420 workflow runs
420 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'develop' into bus-auto
CI checks #610: Commit 3ef65de pushed by naure
November 13, 2023 15:33 26s bus-auto
November 13, 2023 15:33 26s
Merge branch 'develop' into bus-auto
Beta lints #287: Commit 3ef65de pushed by naure
November 13, 2023 15:33 5m 6s bus-auto
November 13, 2023 15:33 5m 6s
Bus auto
Stable lints #246: Pull request #72 synchronize by naure
November 13, 2023 15:31 4m 31s bus-auto
November 13, 2023 15:31 4m 31s
Bus auto
CI checks #609: Pull request #72 synchronize by naure
November 13, 2023 15:31 21s bus-auto
November 13, 2023 15:31 21s
Merge branch 'develop' into bus-auto
Beta lints #286: Commit 9943c01 pushed by naure
November 13, 2023 15:31 7m 47s bus-auto
November 13, 2023 15:31 7m 47s
Merge branch 'develop' into bus-auto
CI checks #608: Commit 9943c01 pushed by naure
November 13, 2023 15:31 22s bus-auto
November 13, 2023 15:31 22s
Bus auto
Stable lints #245: Pull request #72 opened by naure
November 13, 2023 15:23 7m 46s bus-auto
November 13, 2023 15:23 7m 46s
Bus auto
CI checks #607: Pull request #72 opened by naure
November 13, 2023 15:23 24s bus-auto
November 13, 2023 15:23 24s
bus-auto: add query_advice and query_fixed function in witness genera…
CI checks #606: Commit 03690de pushed by naure
November 13, 2023 15:10 33s bus-auto
November 13, 2023 15:10 33s
bus-auto: add query_advice and query_fixed function in witness genera…
Beta lints #285: Commit 03690de pushed by naure
November 13, 2023 15:10 7m 13s bus-auto
November 13, 2023 15:10 7m 13s
Feat: switch to logup scheme for lookup argument
Stable lints #244: Pull request #71 synchronize by kunxian-xia
November 13, 2023 07:17 8m 9s develop-rc
November 13, 2023 07:17 8m 9s
Feat: switch to logup scheme for lookup argument
CI checks #605: Pull request #71 synchronize by kunxian-xia
November 13, 2023 07:17 27s develop-rc
November 13, 2023 07:17 27s
fix clippy errors
Beta lints #284: Commit d7b4a5b pushed by kunxian-xia
November 13, 2023 07:17 7m 46s develop-rc
November 13, 2023 07:17 7m 46s
fix clippy errors
CI checks #604: Commit d7b4a5b pushed by kunxian-xia
November 13, 2023 07:17 25s develop-rc
November 13, 2023 07:17 25s
Feat: switch to logup scheme for lookup argument
CI checks #603: Pull request #71 opened by kunxian-xia
November 13, 2023 06:23 30s develop-rc
November 13, 2023 06:23 30s
Feat: switch to logup scheme for lookup argument
Stable lints #243: Pull request #71 opened by kunxian-xia
November 13, 2023 06:23 4m 33s develop-rc
November 13, 2023 06:23 4m 33s
fix unit test
CI checks #602: Commit 96ec274 pushed by kunxian-xia
November 13, 2023 06:20 26s develop-rc
November 13, 2023 06:20 26s
fix unit test
Beta lints #283: Commit 96ec274 pushed by kunxian-xia
November 13, 2023 06:20 4m 36s develop-rc
November 13, 2023 06:20 4m 36s
Multi-input mv-lookup. (#49)
CI checks #601: Commit 1123789 pushed by kunxian-xia
November 13, 2023 05:20 22s develop-rc
November 13, 2023 05:20 22s
Multi-input mv-lookup. (#49)
Beta lints #282: Commit 1123789 pushed by kunxian-xia
November 13, 2023 05:20 4m 40s develop-rc
November 13, 2023 05:20 4m 40s
Multi-input mv-lookup.
Stable lints #242: Pull request #49 synchronize by spherel
November 13, 2023 04:39 4m 48s geometryxyz:develop-mvlookup
November 13, 2023 04:39 4m 48s
Multi-input mv-lookup.
CI checks #600: Pull request #49 synchronize by spherel
November 13, 2023 04:39 49s geometryxyz:develop-mvlookup
November 13, 2023 04:39 49s
Use thread pool for assign_regions (#57)
CI checks #599: Commit 92fe9b3 pushed by kunxian-xia
November 13, 2023 03:10 29s develop-rc
November 13, 2023 03:10 29s
Use thread pool for assign_regions (#57)
Beta lints #281: Commit 92fe9b3 pushed by kunxian-xia
November 13, 2023 03:10 4m 26s develop-rc
November 13, 2023 03:10 4m 26s
Sync ff 0.13
Stable lints #241: Pull request #70 synchronize by zhenfeizhang
November 9, 2023 15:29 4m 2s sync-ff-0.13
November 9, 2023 15:29 4m 2s
ProTip! You can narrow down the results and go further in time using created:<2023-11-09 or the other filters available.