Skip to content

Actions: scroll-tech/halo2

CI checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
239 workflow runs
239 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Develop
CI checks #487: Pull request #42 synchronize by kunxian-xia
July 6, 2023 01:53 28s develop
July 6, 2023 01:53 28s
Merge pull request #50 from scroll-tech/mockprover_fork
CI checks #486: Commit 103ce21 pushed by kunxian-xia
July 6, 2023 01:53 30s develop
July 6, 2023 01:53 30s
fix/boundary handling of the fork() function
CI checks #485: Pull request #50 synchronize by Velaciela
July 5, 2023 14:45 24s mockprover_fork
July 5, 2023 14:45 24s
lints
CI checks #484: Commit b2f596a pushed by Velaciela
July 5, 2023 14:45 24s mockprover_fork
July 5, 2023 14:45 24s
fix/boundary handling of the fork() function
CI checks #483: Pull request #50 synchronize by Velaciela
July 5, 2023 14:36 26s mockprover_fork
July 5, 2023 14:36 26s
keygen, prover, and error message
CI checks #482: Commit ea07115 pushed by Velaciela
July 5, 2023 14:36 30s mockprover_fork
July 5, 2023 14:36 30s
fix/boundary handling of the fork() function
CI checks #481: Pull request #50 opened by Velaciela
July 5, 2023 03:42 29s mockprover_fork
July 5, 2023 03:42 29s
boundary handling of the fork() function in MockProver
CI checks #480: Commit 90e22c6 pushed by Velaciela
July 5, 2023 03:41 1m 3s mockprover_fork
July 5, 2023 03:41 1m 3s
Multi-input mv-lookup.
CI checks #479: Pull request #49 synchronize by spherel
July 4, 2023 23:10 24s geometryxyz:develop-mvlookup
July 4, 2023 23:10 24s
Multi-input mv-lookup.
CI checks #478: Pull request #49 opened by spherel
July 4, 2023 20:43 27s geometryxyz:develop-mvlookup
July 4, 2023 20:43 27s
Develop
CI checks #477: Pull request #42 synchronize by lispc
July 4, 2023 06:07 28s develop
July 4, 2023 06:07 28s
fix load_slice panic in mock prover err display
CI checks #476: Commit aab39d5 pushed by lispc
July 4, 2023 06:07 29s develop
July 4, 2023 06:07 29s
ProTip! You can narrow down the results and go further in time using created:<2023-07-04 or the other filters available.