Skip to content

Actions: ProjectZKM/Ziren

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,122 workflow runs
1,122 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
paper: eighth review pass; fv: slimmed parallel Lean check Cargo Build & Test #1131: Pull request #538 synchronize by eigmax
1h 30m 37s docs/paper-review-pass8
docs/paper-review-pass8
1h 30m 37s
Time-consuming test Time-consuming test #331: Scheduled
1h 29m 31s main
main
1h 29m 31s
paper: eighth review pass; fv: slimmed parallel Lean check Cargo Build & Test #1130: Pull request #538 synchronize by eigmax
1h 59m 13s docs/paper-review-pass8
docs/paper-review-pass8
1h 59m 13s
paper: eighth review pass; fv: slimmed parallel Lean check Cargo Build & Test #1129: Pull request #538 synchronize by eigmax
3h 33m 49s docs/paper-review-pass8
docs/paper-review-pass8
3h 33m 49s
paper: eighth review pass; fv: slimmed parallel Lean check Cargo Build & Test #1128: Pull request #538 synchronize by eigmax
16m 43s docs/paper-review-pass8
docs/paper-review-pass8
16m 43s
paper: eighth review pass; fv: slimmed parallel Lean check Cargo Build & Test #1127: Pull request #538 synchronize by eigmax
4m 5s docs/paper-review-pass8
docs/paper-review-pass8
4m 5s
Graph Update: go_modules in /crates/recursion/gnark-ffi/go #1604166941 Dependency Graph #2: by dependabot Bot
40s main
main
40s
deps: clear the Dependabot alerts that need no major bump (#539) Time-consuming test #330: Commit 5695065 pushed by eigmax
In progress main
main
In progress
deps: clear the Dependabot alerts that need no major bump (#539) Deploy mdBook site to Pages #270: Commit 5695065 pushed by eigmax
2m 10s main
main
2m 10s
deps: clear the Dependabot alerts that need no major bump (#539) Cargo Build & Test #1126: Commit 5695065 pushed by eigmax
5h 8m 19s main
main
5h 8m 19s
deps: clear the Dependabot alerts that need no major bump Cargo Build & Test #1125: Pull request #539 opened by eigmax
59m 48s chore/security-deps
chore/security-deps
59m 48s
paper: eighth review pass; fv: slimmed parallel Lean check Cargo Build & Test #1124: Pull request #538 opened by eigmax
39m 57s docs/paper-review-pass8
docs/paper-review-pass8
39m 57s
fv: machine-check all 104 chip determinism theorems in Lean (#537) Deploy mdBook site to Pages #269: Commit f20eafb pushed by eigmax
2m 59s main
main
2m 59s
fv: machine-check all 104 chip determinism theorems in Lean (#537) Time-consuming test #329: Commit f20eafb pushed by eigmax
44m 52s main
main
44m 52s
fv: machine-check all 104 chip determinism theorems in Lean (#537) Cargo Build & Test #1123: Commit f20eafb pushed by eigmax
45m 25s main
main
45m 25s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1122: Pull request #537 synchronize by eigmax
51m 57s feat/fv-determinism
feat/fv-determinism
51m 57s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1121: Pull request #537 synchronize by eigmax
3m 44s feat/fv-determinism
feat/fv-determinism
3m 44s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1120: Pull request #537 synchronize by eigmax
6m 30s feat/fv-determinism
feat/fv-determinism
6m 30s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1119: Pull request #537 synchronize by eigmax
14m 14s feat/fv-determinism
feat/fv-determinism
14m 14s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1118: Pull request #537 synchronize by eigmax
7m 20s feat/fv-determinism
feat/fv-determinism
7m 20s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1117: Pull request #537 synchronize by eigmax
45m 23s feat/fv-determinism
feat/fv-determinism
45m 23s
fv: machine-check all 104 chip determinism theorems in Lean Cargo Build & Test #1116: Pull request #537 opened by eigmax
41m 19s feat/fv-determinism
feat/fv-determinism
41m 19s
Time-consuming test Time-consuming test #328: Scheduled
4h 40m 54s main
main
4h 40m 54s
Graph Update: go_modules in /crates/go-runtime/zkvm_runtime, /examples/simple-go/guest #1599132087 Dependency Graph #1: by dependabot Bot
39s main
main
39s
feat: release V2.0 (#532) Deploy mdBook site to Pages #268: Commit 1f45735 pushed by eigmax
1m 46s main
main
1m 46s