Skip to content

Actions: risc0/zirgen

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
614 workflow runs
614 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ZIR-289: Remove unneeded + prime terms (#122) CI #590: Commit 0b0fc26 pushed by tzerrell
December 19, 2024 00:13 4m 2s main
main
December 19, 2024 00:13 4m 2s
ZIR-289: Remove unneeded + prime terms CI #589: Pull request #122 synchronize by tzerrell
December 19, 2024 00:08 4m 57s tzerrell/cleanup-prime-adds
tzerrell/cleanup-prime-adds
December 19, 2024 00:08 4m 57s
ZIR-249: Support out-of-tree builds CI #588: Pull request #89 synchronize by jacobdweightman
December 18, 2024 23:38 33m 58s jacob/out-of-tree
jacob/out-of-tree
December 18, 2024 23:38 33m 58s
ZIR-298: Move rv32im-v2 to risc0 (#130) CI #587: Commit 7ab9dd5 pushed by flaub
December 18, 2024 19:15 2m 24s main
main
December 18, 2024 19:15 2m 24s
ZIR-298: Move rv32im-v2 to risc0 CI #586: Pull request #130 synchronize by flaub
December 18, 2024 19:11 3m 21s flaub/move-rv32im-v2
flaub/move-rv32im-v2
December 18, 2024 19:11 3m 21s
ZIR-298: Move rv32im-v2 to risc0 CI #585: Pull request #130 synchronize by flaub
December 18, 2024 19:11 52s flaub/move-rv32im-v2
flaub/move-rv32im-v2
December 18, 2024 19:11 52s
ZIR-302: Final bits for memory and cycle soundness (#136) CI #584: Commit e5ca412 pushed by flaub
December 18, 2024 19:10 2m 32s main
main
December 18, 2024 19:10 2m 32s
ZIR-302: Final bits for memory and cycle soundness CI #583: Pull request #136 synchronize by flaub
December 18, 2024 18:58 11m 55s jeremy-cycles
jeremy-cycles
December 18, 2024 18:58 11m 55s
Optimize predicate generation (#135) CI #582: Commit d95d0ab pushed by shkoo
December 18, 2024 17:58 21m 32s main
main
December 18, 2024 17:58 21m 32s
ZIR-302: Final bits for memory and cycle soundness CI #581: Pull request #136 opened by jbruestle
December 18, 2024 04:50 17m 10s jeremy-cycles
jeremy-cycles
December 18, 2024 04:50 17m 10s
ZIR-294: [WIP] Add wide join and join+lift programs CI #580: Pull request #126 synchronize by nategraf
December 18, 2024 01:27 1h 38m 41s victor/fat-join
victor/fat-join
December 18, 2024 01:27 1h 38m 41s
ZIR-301: Optimize predicate generation CI #579: Pull request #135 synchronize by shkoo
December 17, 2024 21:13 12m 0s nils/predicates-opt
nils/predicates-opt
December 17, 2024 21:13 12m 0s
Bump sppark from 0.1.10 to 0.1.11 CI #578: Pull request #131 synchronize by dependabot bot
December 17, 2024 20:49 13m 22s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:49 13m 22s
Bump serde from 1.0.215 to 1.0.216 (#132) CI #577: Commit 8c837e6 pushed by mars-risc0
December 17, 2024 20:47 9m 54s main
main
December 17, 2024 20:47 9m 54s
ZIR-301: Optimize predicate generation CI #576: Pull request #135 synchronize by shkoo
December 17, 2024 20:11 12m 2s nils/predicates-opt
nils/predicates-opt
December 17, 2024 20:11 12m 2s
Bump sppark from 0.1.10 to 0.1.11 CI #575: Pull request #131 synchronize by dependabot bot
December 17, 2024 20:05 11m 9s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:05 11m 9s
Bump serde from 1.0.215 to 1.0.216 CI #574: Pull request #132 synchronize by dependabot bot
December 17, 2024 20:05 9m 49s dependabot/cargo/serde-1.0.216
dependabot/cargo/serde-1.0.216
December 17, 2024 20:05 9m 49s
Bump cc from 1.2.2 to 1.2.4 (#133) CI #573: Commit 7fae6af pushed by mars-risc0
December 17, 2024 20:04 13m 26s main
main
December 17, 2024 20:04 13m 26s
ZIR-300: Bump cc from 1.2.2 to 1.2.4 CI #572: Pull request #133 synchronize by mars-risc0
December 17, 2024 19:47 16m 30s dependabot/cargo/cc-1.2.4
dependabot/cargo/cc-1.2.4
December 17, 2024 19:47 16m 30s
ZIR-301: Optimize predicate generation CI #571: Pull request #135 synchronize by shkoo
December 17, 2024 19:47 13m 7s nils/predicates-opt
nils/predicates-opt
December 17, 2024 19:47 13m 7s
Prevent the sha2 test from timing out (on my machine) by setting size… CI #570: Commit 37b93a0 pushed by mars-risc0
December 17, 2024 19:42 11m 34s main
main
December 17, 2024 19:42 11m 34s
ZIR-301: Optimize predicate generation CI #569: Pull request #135 opened by shkoo
December 17, 2024 19:35 11m 48s nils/predicates-opt
nils/predicates-opt
December 17, 2024 19:35 11m 48s
ZIR-300: Bump cc from 1.2.2 to 1.2.4 CI #568: Pull request #133 synchronize by mars-risc0
December 17, 2024 19:33 10m 31s dependabot/cargo/cc-1.2.4
dependabot/cargo/cc-1.2.4
December 17, 2024 19:33 10m 31s
ZIR-295: Prevent the sha2 test from timing out by setting size to medium CI #567: Pull request #127 synchronize by mars-risc0
December 17, 2024 19:33 9m 38s mars/lengthen-time-for-keccak2-sha2-test
mars/lengthen-time-for-keccak2-sha2-test
December 17, 2024 19:33 9m 38s
make bazel happy by adding size specifiers for the op tests (#128) CI #566: Commit a7d9cf0 pushed by mars-risc0
December 17, 2024 19:20 13m 58s main
main
December 17, 2024 19:20 13m 58s