Skip to content

Actions: scroll-tech/halo2

Actions

Stable lints

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lints-stable.yml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix mockprover memory Stable lints #306: Pull request #85 synchronize by DreamWuGit
March 13, 2024 09:02 59s fix_mockprover_memory
fix_mockprover_memory
March 13, 2024 09:02 59s
Fix mockprover memory Stable lints #305: Pull request #85 synchronize by DreamWuGit
March 13, 2024 06:46 44s fix_mockprover_memory
fix_mockprover_memory
March 13, 2024 06:46 44s
Fix mockprover memory Stable lints #304: Pull request #85 opened by DreamWuGit
March 13, 2024 03:39 46s fix_mockprover_memory
fix_mockprover_memory
March 13, 2024 03:39 46s
Bugfix: Fix a bug in verifier of logup scheme Stable lints #303: Pull request #83 opened by kunxian-xia
January 19, 2024 15:16 1m 5s fix/logup
fix/logup
January 19, 2024 15:16 1m 5s
[wip] Sync halo2 lib 0.4.0 Stable lints #302: Pull request #80 synchronize by kunxian-xia
January 12, 2024 11:06 1m 10s sync-halo2-lib-0.4.0
sync-halo2-lib-0.4.0
January 12, 2024 11:06 1m 10s
Sync halo2 lib 0.4.0 merging Stable lints #301: Pull request #81 synchronize by kunxian-xia
January 8, 2024 14:41 59s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
January 8, 2024 14:41 59s
Sync halo2 lib 0.4.0 merging Stable lints #300: Pull request #81 synchronize by kunxian-xia
January 8, 2024 14:29 1m 5s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
January 8, 2024 14:29 1m 5s
Sync halo2 lib 0.4.0 merging Stable lints #299: Pull request #81 synchronize by kunxian-xia
January 8, 2024 10:04 1m 0s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
January 8, 2024 10:04 1m 0s
Sync halo2 lib 0.4.0 merging Stable lints #298: Pull request #81 synchronize by kunxian-xia
January 8, 2024 10:03 57s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
January 8, 2024 10:03 57s
Sync halo2 lib 0.4.0 merging Stable lints #297: Pull request #81 synchronize by kunxian-xia
January 8, 2024 10:01 58s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
January 8, 2024 10:01 58s
Sync halo2 lib 0.4.0 merging Stable lints #296: Pull request #81 synchronize by kunxian-xia
December 27, 2023 14:17 1m 7s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 14:17 1m 7s
Sync halo2 lib 0.4.0 merging Stable lints #295: Pull request #81 synchronize by kunxian-xia
December 27, 2023 14:08 1m 0s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 14:08 1m 0s
Sync halo2 lib 0.4.0 merging Stable lints #294: Pull request #81 synchronize by kunxian-xia
December 27, 2023 14:06 1m 0s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 14:06 1m 0s
Sync halo2 lib 0.4.0 merging Stable lints #293: Pull request #81 synchronize by kunxian-xia
December 27, 2023 13:51 57s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 13:51 57s
Sync halo2 lib 0.4.0 merging Stable lints #292: Pull request #81 synchronize by kunxian-xia
December 27, 2023 13:32 59s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 13:32 59s
Sync halo2 lib 0.4.0 merging Stable lints #291: Pull request #81 synchronize by kunxian-xia
December 27, 2023 11:26 42s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 11:26 42s
Sync halo2 lib 0.4.0 merging Stable lints #290: Pull request #81 synchronize by kunxian-xia
December 27, 2023 11:24 1m 5s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 27, 2023 11:24 1m 5s
Sync halo2 lib 0.4.0 merging Stable lints #289: Pull request #81 opened by lispc
December 20, 2023 03:30 52s sync-halo2-lib-0.4.0-merging
sync-halo2-lib-0.4.0-merging
December 20, 2023 03:30 52s
Develop Stable lints #288: Pull request #42 synchronize by lispc
December 13, 2023 06:14 1m 56s develop
develop
December 13, 2023 06:14 1m 56s
Develop Stable lints #287: Pull request #42 synchronize by kunxian-xia
December 8, 2023 09:22 1m 42s develop
develop
December 8, 2023 09:22 1m 42s
Feat: switch to logup scheme for lookup argument Stable lints #286: Pull request #71 synchronize by kunxian-xia
December 8, 2023 09:15 1m 48s develop-rc
develop-rc
December 8, 2023 09:15 1m 48s
Feat: switch to logup scheme for lookup argument Stable lints #285: Pull request #71 synchronize by kunxian-xia
December 8, 2023 09:04 1m 44s develop-rc
develop-rc
December 8, 2023 09:04 1m 44s
Develop Stable lints #284: Pull request #42 synchronize by kunxian-xia
December 7, 2023 14:29 1m 36s develop
develop
December 7, 2023 14:29 1m 36s
Fix the CI errors Stable lints #283: Pull request #78 opened by kunxian-xia
December 7, 2023 14:21 1m 36s fix/v1.0-ci-err
fix/v1.0-ci-err
December 7, 2023 14:21 1m 36s
Develop Stable lints #282: Pull request #42 synchronize by lispc
December 6, 2023 10:07 3m 3s develop
develop
December 6, 2023 10:07 3m 3s