Skip to content

Actions: scroll-tech/ceno-recursion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Same formatting Sanity checks #43: Commit 8969dde pushed by matthiasgoergens
November 26, 2024 01:50 6m 26s matthias/format-like-ceno
matthias/format-like-ceno
November 26, 2024 01:50 6m 26s
Use the same formatting as in Ceno Sanity checks #42: Commit e7fa4a9 pushed by matthiasgoergens
November 26, 2024 01:49 6m 44s matthias/format-like-ceno
matthias/format-like-ceno
November 26, 2024 01:49 6m 44s
fmt Sanity checks #41: Commit e5c2c6c pushed by darth-cy
November 26, 2024 01:12 3m 36s feat/goldilocks-spartan
feat/goldilocks-spartan
November 26, 2024 01:12 3m 36s
Restore transcript consistency Sanity checks #40: Commit a191023 pushed by darth-cy
November 26, 2024 01:10 3m 33s feat/goldilocks-spartan
feat/goldilocks-spartan
November 26, 2024 01:10 3m 33s
Correct itertools version Sanity checks #39: Commit a9cde25 pushed by darth-cy
November 22, 2024 03:29 10m 4s feat/goldilocks-spartan
feat/goldilocks-spartan
November 22, 2024 03:29 10m 4s
fmt Sanity checks #38: Commit 2075d75 pushed by darth-cy
November 22, 2024 02:08 9m 42s feat/goldilocks-spartan
feat/goldilocks-spartan
November 22, 2024 02:08 9m 42s
fmt Sanity checks #37: Commit af32b96 pushed by darth-cy
November 22, 2024 02:03 7m 52s feat/goldilocks-spartan
feat/goldilocks-spartan
November 22, 2024 02:03 7m 52s
Resolve conflicts/duplicates/dep versioning from merge Sanity checks #36: Commit 06e2689 pushed by darth-cy
November 22, 2024 02:00 10m 0s feat/goldilocks-spartan
feat/goldilocks-spartan
November 22, 2024 02:00 10m 0s
Fix serialize_to_file (#44) Sanity checks #35: Commit 65abd5e pushed by github-merge-queue bot
November 19, 2024 11:23 6m 14s main
main
November 19, 2024 11:23 6m 14s
Fix serialize_to_file (#44) Sanity checks #34: Commit 65abd5e pushed by github-merge-queue bot
November 19, 2024 11:12 6m 18s gh-readonly-queue/main/pr-44-cf7cdea3e93ad5817b50e0e95d4248fee3abb8c1
gh-readonly-queue/main/pr-44-cf7cdea3e93ad5817b50e0e95d4248fee3abb8c1
November 19, 2024 11:12 6m 18s
Sanity checks Sanity checks #33: Merge group checks requested
November 19, 2024 11:12 6m 27s
November 19, 2024 11:12 6m 27s
Fix serialize_to_file Sanity checks #32: Commit bef6968 pushed by matthiasgoergens
November 19, 2024 11:05 6m 37s matthias/investigate-failure
matthias/investigate-failure
November 19, 2024 11:05 6m 37s
Fix serialize_to_file Sanity checks #31: Commit 002e857 pushed by matthiasgoergens
November 19, 2024 11:03 6m 33s matthias/investigate-failure
matthias/investigate-failure
November 19, 2024 11:03 6m 33s
Fix serialize_to_file Sanity checks #30: Commit 022ca56 pushed by matthiasgoergens
November 19, 2024 10:50 6m 35s matthias/investigate-failure
matthias/investigate-failure
November 19, 2024 10:50 6m 35s
Fix serialize_to_file Sanity checks #29: Commit cefab01 pushed by matthiasgoergens
November 19, 2024 10:50 6m 11s matthias/investigate-failure
matthias/investigate-failure
November 19, 2024 10:50 6m 11s
Fix serialize_to_file Sanity checks #28: Commit 493a65b pushed by matthiasgoergens
November 19, 2024 10:47 6m 18s matthias/investigate-failure
matthias/investigate-failure
November 19, 2024 10:47 6m 18s
Bump tqdm in /circ_blocks in the pip group across 1 directory (#5) Sanity checks #27: Commit cf7cdea pushed by github-merge-queue bot
November 19, 2024 10:22 6m 38s gh-readonly-queue/main/pr-5-41bf58555095dc1ffbcaf5e960e6e5efe4537ac0
gh-readonly-queue/main/pr-5-41bf58555095dc1ffbcaf5e960e6e5efe4537ac0
November 19, 2024 10:22 6m 38s
Bump tqdm in /circ_blocks in the pip group across 1 directory (#5) Sanity checks #26: Commit cf7cdea pushed by github-merge-queue bot
November 19, 2024 10:22 6m 29s main
main
November 19, 2024 10:22 6m 29s
Enable running encode_ceno.sh in CI (#43) Sanity checks #25: Commit 41bf585 pushed by github-merge-queue bot
November 19, 2024 10:21 6m 38s gh-readonly-queue/main/pr-43-813732eb201bc2d2d1665f27f7fba286f86c202e
gh-readonly-queue/main/pr-43-813732eb201bc2d2d1665f27f7fba286f86c202e
November 19, 2024 10:21 6m 38s
cargo in for curve25519-dalek - Update #919260464 Dependabot Updates #9: by dependabot bot
November 19, 2024 10:21 44s main
main
November 19, 2024 10:21 44s
Enable running encode_ceno.sh in CI (#43) Sanity checks #24: Commit 41bf585 pushed by github-merge-queue bot
November 19, 2024 10:21 6m 11s main
main
November 19, 2024 10:21 6m 11s
Remove superfluous rust-toolchain.toml (#38) Sanity checks #23: Commit 813732e pushed by github-merge-queue bot
November 19, 2024 10:21 1m 30s gh-readonly-queue/main/pr-38-62de573af34c50ed5b92f23e1a860386c7bb0499
gh-readonly-queue/main/pr-38-62de573af34c50ed5b92f23e1a860386c7bb0499
November 19, 2024 10:21 1m 30s
Merge branch 'main' into matthias/extract-17 Sanity checks #22: Commit 4b9d45a pushed by matthiasgoergens
November 19, 2024 10:15 9m 48s matthias/extract-17
matthias/extract-17
November 19, 2024 10:15 9m 48s
Enable running encode_ceno.sh in CI Sanity checks #21: Commit d08ad76 pushed by matthiasgoergens
November 19, 2024 10:14 6m 59s matthias/enable-encode
matthias/enable-encode
November 19, 2024 10:14 6m 59s
Enable running encode_ceno.sh in CI Sanity checks #20: Commit d517430 pushed by matthiasgoergens
November 19, 2024 10:13 9m 10s matthias/enable-encode
matthias/enable-encode
November 19, 2024 10:13 9m 10s