Skip to content

Actions: scroll-tech/halo2

Actions

CI checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
146 workflow runs
146 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Feat: switch to logup scheme for lookup argument CI checks #640: Pull request #71 synchronize by kunxian-xia
November 15, 2023 11:27 19s develop-rc
develop-rc
November 15, 2023 11:27 19s
use par invert CI checks #639: Commit ee957d8 pushed by kunxian-xia
November 15, 2023 11:27 23s develop-rc
develop-rc
November 15, 2023 11:27 23s
Feat: switch to logup scheme for lookup argument CI checks #638: Pull request #71 synchronize by kunxian-xia
November 15, 2023 10:52 30s develop-rc
develop-rc
November 15, 2023 10:52 30s
more running time logs CI checks #637: Commit e837827 pushed by kunxian-xia
November 15, 2023 10:51 25s develop-rc
develop-rc
November 15, 2023 10:51 25s
Bus auto CI checks #636: Pull request #72 synchronize by naure
November 15, 2023 10:47 24s bus-auto
bus-auto
November 15, 2023 10:47 24s
bus-auto: fix clippy CI checks #635: Commit 8fc9156 pushed by naure
November 15, 2023 10:46 20s bus-auto
bus-auto
November 15, 2023 10:46 20s
Feat: switch to logup scheme for lookup argument CI checks #634: Pull request #71 synchronize by kunxian-xia
November 15, 2023 10:26 21s develop-rc
develop-rc
November 15, 2023 10:26 21s
add more log hooks CI checks #633: Commit 97a7f98 pushed by kunxian-xia
November 15, 2023 10:26 26s develop-rc
develop-rc
November 15, 2023 10:26 26s
Feat: switch to logup scheme for lookup argument CI checks #632: Pull request #71 synchronize by kunxian-xia
November 14, 2023 10:09 28s develop-rc
develop-rc
November 14, 2023 10:09 28s
fmt CI checks #631: Commit 71c8186 pushed by kunxian-xia
November 14, 2023 10:09 28s develop-rc
develop-rc
November 14, 2023 10:09 28s
Feat: switch to logup scheme for lookup argument CI checks #630: Pull request #71 synchronize by kunxian-xia
November 14, 2023 10:07 30s develop-rc
develop-rc
November 14, 2023 10:07 30s
add detailed running time of steps in logup's prover CI checks #629: Commit 6f0eb4f pushed by kunxian-xia
November 14, 2023 10:07 23s develop-rc
develop-rc
November 14, 2023 10:07 23s
Feat: switch to logup scheme for lookup argument CI checks #628: Pull request #71 synchronize by kunxian-xia
November 14, 2023 09:23 24s develop-rc
develop-rc
November 14, 2023 09:23 24s
fix clippy CI checks #627: Commit 63e8b9d pushed by kunxian-xia
November 14, 2023 09:23 18s develop-rc
develop-rc
November 14, 2023 09:23 18s
Feat: switch to logup scheme for lookup argument CI checks #626: Pull request #71 synchronize by kunxian-xia
November 14, 2023 08:56 18s develop-rc
develop-rc
November 14, 2023 08:56 18s
fmt and clippy CI checks #625: Commit 4d96a25 pushed by kunxian-xia
November 14, 2023 08:56 24s develop-rc
develop-rc
November 14, 2023 08:56 24s
Feat: switch to logup scheme for lookup argument CI checks #624: Pull request #71 synchronize by kunxian-xia
November 14, 2023 08:52 20s develop-rc
develop-rc
November 14, 2023 08:52 20s
add todo in mv_lookup's prover CI checks #623: Commit 0cc345f pushed by kunxian-xia
November 14, 2023 08:52 20s develop-rc
develop-rc
November 14, 2023 08:52 20s
Sync ff 0.13 CI checks #622: Pull request #70 synchronize by zhenfeizhang
November 14, 2023 02:05 25s sync-ff-0.13
sync-ff-0.13
November 14, 2023 02:05 25s
fix clippy CI checks #621: Commit 0bfe0c9 pushed by zhenfeizhang
November 14, 2023 02:05 22s sync-ff-0.13
sync-ff-0.13
November 14, 2023 02:05 22s
Sync ff 0.13 CI checks #620: Pull request #70 synchronize by zhenfeizhang
November 13, 2023 16:53 24s sync-ff-0.13
sync-ff-0.13
November 13, 2023 16:53 24s
Sync ff 0.13 CI checks #619: Pull request #70 reopened by zhenfeizhang
November 13, 2023 16:53 27s sync-ff-0.13
sync-ff-0.13
November 13, 2023 16:53 27s
Develop CI checks #618: Pull request #42 synchronize by zhenfeizhang
November 13, 2023 16:53 24s develop
develop
November 13, 2023 16:53 24s
Move env_logger dependency to dev-depdendencies (only for test). (#69) CI checks #617: Commit 5cf9a37 pushed by zhenfeizhang
November 13, 2023 16:53 20s develop
develop
November 13, 2023 16:53 20s
sync ff/group 0.13 CI checks #616: Commit ae6e02c pushed by zhenfeizhang
November 13, 2023 16:51 28s sync-ff-0.13
sync-ff-0.13
November 13, 2023 16:51 28s