Skip to content

Actions: scroll-tech/halo2

Actions

Beta lints

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bus-auto: fix clippy Beta lints #302: Commit 8fc9156 pushed by naure
November 15, 2023 10:46 4m 40s bus-auto
bus-auto
November 15, 2023 10:46 4m 40s
add more log hooks Beta lints #301: Commit 97a7f98 pushed by kunxian-xia
November 15, 2023 10:26 4m 44s develop-rc
develop-rc
November 15, 2023 10:26 4m 44s
fmt Beta lints #300: Commit 71c8186 pushed by kunxian-xia
November 14, 2023 10:09 6m 56s develop-rc
develop-rc
November 14, 2023 10:09 6m 56s
add detailed running time of steps in logup's prover Beta lints #299: Commit 6f0eb4f pushed by kunxian-xia
November 14, 2023 10:07 6m 43s develop-rc
develop-rc
November 14, 2023 10:07 6m 43s
fix clippy Beta lints #298: Commit 63e8b9d pushed by kunxian-xia
November 14, 2023 09:23 6m 47s develop-rc
develop-rc
November 14, 2023 09:23 6m 47s
fmt and clippy Beta lints #297: Commit 4d96a25 pushed by kunxian-xia
November 14, 2023 08:56 4m 39s develop-rc
develop-rc
November 14, 2023 08:56 4m 39s
add todo in mv_lookup's prover Beta lints #296: Commit 0cc345f pushed by kunxian-xia
November 14, 2023 08:52 8m 21s develop-rc
develop-rc
November 14, 2023 08:52 8m 21s
fix clippy Beta lints #295: Commit 0bfe0c9 pushed by zhenfeizhang
November 14, 2023 02:05 4m 30s sync-ff-0.13
sync-ff-0.13
November 14, 2023 02:05 4m 30s
Move env_logger dependency to dev-depdendencies (only for test). (#69) Beta lints #294: Commit 5cf9a37 pushed by zhenfeizhang
November 13, 2023 16:53 4m 43s develop
develop
November 13, 2023 16:53 4m 43s
sync ff/group 0.13 Beta lints #293: Commit ae6e02c pushed by zhenfeizhang
November 13, 2023 16:51 4m 44s sync-ff-0.13
sync-ff-0.13
November 13, 2023 16:51 4m 44s
sync ff/group 0.13 Beta lints #292: Commit ae6e02c pushed by zhenfeizhang
November 13, 2023 16:46 8m 7s develop
develop
November 13, 2023 16:46 8m 7s
feat: move mock prover phase check under feature gate Beta lints #291: Commit 8ee5412 pushed by zhenfeizhang
November 13, 2023 16:45 1m 8s sync-ff-0.13-with-mork-prover-update
sync-ff-0.13-with-mork-prover-update
November 13, 2023 16:45 1m 8s
Move env_logger dependency to dev-depdendencies (only for test). (#69) Beta lints #290: Commit 5cf9a37 pushed by zhenfeizhang
November 13, 2023 16:44 6m 48s sync-ff-0.13
sync-ff-0.13
November 13, 2023 16:44 6m 48s
feat: move mock prover phase check under feature gate Beta lints #289: Commit 8ee5412 pushed by zhenfeizhang
November 13, 2023 16:41 49s sync-ff-0.13-no-mork-prover-update
sync-ff-0.13-no-mork-prover-update
November 13, 2023 16:41 49s
feat: move mock prover phase check under feature gate Beta lints #288: Commit 8ee5412 pushed by zhenfeizhang
November 13, 2023 15:56 50s sync-ff-0.13
sync-ff-0.13
November 13, 2023 15:56 50s
Merge branch 'develop' into bus-auto Beta lints #287: Commit 3ef65de pushed by naure
November 13, 2023 15:33 5m 6s bus-auto
bus-auto
November 13, 2023 15:33 5m 6s
Merge branch 'develop' into bus-auto Beta lints #286: Commit 9943c01 pushed by naure
November 13, 2023 15:31 7m 47s bus-auto
bus-auto
November 13, 2023 15:31 7m 47s
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
bus-auto
November 13, 2023 15:10 7m 13s
fix clippy errors Beta lints #284: Commit d7b4a5b pushed by kunxian-xia
November 13, 2023 07:17 7m 46s develop-rc
develop-rc
November 13, 2023 07:17 7m 46s
fix unit test Beta lints #283: Commit 96ec274 pushed by kunxian-xia
November 13, 2023 06:20 4m 36s develop-rc
develop-rc
November 13, 2023 06:20 4m 36s
Multi-input mv-lookup. (#49) Beta lints #282: Commit 1123789 pushed by kunxian-xia
November 13, 2023 05:20 4m 40s develop-rc
develop-rc
November 13, 2023 05:20 4m 40s
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
develop-rc
November 13, 2023 03:10 4m 26s
enabling derive_serde for halo2 curves Beta lints #280: Commit 2f80720 pushed by zhenfeizhang
November 9, 2023 15:29 7m 17s sync-ff-0.13
sync-ff-0.13
November 9, 2023 15:29 7m 17s
chore: update links Beta lints #279: Commit 85bccd3 pushed by zhenfeizhang
November 9, 2023 15:19 6m 26s sync-ff-0.13
sync-ff-0.13
November 9, 2023 15:19 6m 26s
Merge branch 'develop' of github.com:scroll-tech/halo2 into sync-ff-0.13 Beta lints #278: Commit 1cde546 pushed by zhenfeizhang
November 7, 2023 16:08 6m 6s sync-ff-0.13
sync-ff-0.13
November 7, 2023 16:08 6m 6s