Skip to content

Actions: risc0/zirgen

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Expose sponge function for other users (#7)
CI #18: Commit 39fb52b pushed by jbruestle
August 17, 2024 04:24 23m 0s main
August 17, 2024 04:24 23m 0s
Expose sponge function for other users
CI #17: Pull request #7 opened by jbruestle
August 17, 2024 01:27 2h 32m 17s jeremy-expose-sponge
August 17, 2024 01:27 2h 32m 17s
Add a nondet inv op
CI #16: Pull request #6 synchronize by tzerrell
August 16, 2024 23:45 2m 45s tzerrell/bigint-nondet-inv
August 16, 2024 23:45 2m 45s
Add a nondet inv op
CI #15: Pull request #6 opened by tzerrell
August 16, 2024 23:41 2m 29s tzerrell/bigint-nondet-inv
August 16, 2024 23:41 2m 29s
Add cargo bootstrap alias (#5)
CI #14: Commit 7f50b8a pushed by tzerrell
August 16, 2024 23:10 2m 41s main
August 16, 2024 23:10 2m 41s
Add cargo bootstrap alias
CI #13: Pull request #5 opened by tzerrell
August 16, 2024 22:46 22m 1s tzerrell/cargo-bootstrap
August 16, 2024 22:46 22m 1s
cargo in /. for serial_test - Update #870458123
Dependabot Updates #4: by dependabot bot
August 16, 2024 21:45 55s
August 16, 2024 21:45 55s
Copy main-status-check from risc0 repo (#4)
CI #11: Commit 333a84a pushed by shkoo
August 16, 2024 21:45 2m 29s main
August 16, 2024 21:45 2m 29s
Copy main-status-check from risc0 repo
CI #10: Pull request #4 opened by shkoo
August 16, 2024 21:24 2m 33s nils/main-status-check
August 16, 2024 21:24 2m 33s
cargo in /. for env_logger - Update #870447409
Dependabot Updates #3: by dependabot bot
August 16, 2024 21:06 57s
August 16, 2024 21:06 57s
Fix CI (#3)
CI #8: Commit b6b68a1 pushed by shkoo
August 16, 2024 20:56 10m 53s main
August 16, 2024 20:56 10m 53s
Fix CI
CI #7: Pull request #3 synchronize by shkoo
August 16, 2024 20:56 2m 27s nils/ci
August 16, 2024 20:56 2m 27s
Fix CI
CI #6: Pull request #3 synchronize by shkoo
August 16, 2024 20:35 20m 48s nils/ci
August 16, 2024 20:35 20m 48s
Fix CI
CI #5: Pull request #3 synchronize by shkoo
August 16, 2024 20:28 7m 8s nils/ci
August 16, 2024 20:28 7m 8s
Fix CI
CI #4: Pull request #3 opened by shkoo
August 16, 2024 20:16 12m 1s nils/ci
August 16, 2024 20:16 12m 1s
cargo in /. - Update #870294860
Dependabot Updates #2: by dependabot bot
August 16, 2024 12:33 1m 20s
August 16, 2024 12:33 1m 20s
cargo in /. - Update #869995777
Dependabot Updates #1: by dependabot bot
August 15, 2024 21:08 1m 27s
August 15, 2024 21:08 1m 27s
Initial import from risczero-wip repository
CI #1: Commit caa0f45 pushed by shkoo
August 15, 2024 21:08 22m 20s main
August 15, 2024 21:08 22m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-08-15 or the other filters available.