Skip to content

Actions: risc0/zirgen

Actions

Find or Create Linear Issue for PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linear.yml
590 workflow runs
590 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ZIR-303: Optimize bootstrap, add CI for generated files Find or Create Linear Issue for PR #491: Pull request #138 synchronize by shkoo
December 19, 2024 22:15 10s nils/bootstrap
nils/bootstrap
December 19, 2024 22:15 10s
ZIR-303: Optimize bootstrap, add CI for generated files Find or Create Linear Issue for PR #490: Pull request #138 synchronize by shkoo
December 19, 2024 22:12 12s nils/bootstrap
nils/bootstrap
December 19, 2024 22:12 12s
ZIR-303: Optimize bootstrap, add CI for generated files Find or Create Linear Issue for PR #489: Pull request #138 synchronize by shkoo
December 19, 2024 22:10 15s nils/bootstrap
nils/bootstrap
December 19, 2024 22:10 15s
ZIR-303: Optimize bootstrap, add CI for generated files Find or Create Linear Issue for PR #488: Pull request #138 synchronize by shkoo
December 19, 2024 22:07 13s nils/bootstrap
nils/bootstrap
December 19, 2024 22:07 13s
ZIR-303: Optimize bootstrap, add CI for generated files Find or Create Linear Issue for PR #487: Pull request #138 synchronize by shkoo
December 19, 2024 22:06 12s nils/bootstrap
nils/bootstrap
December 19, 2024 22:06 12s
ZIR-303: Optimize bootstrap, add CI for generated files Find or Create Linear Issue for PR #486: Pull request #138 opened by shkoo
December 19, 2024 22:05 16s nils/bootstrap
nils/bootstrap
December 19, 2024 22:05 16s
Bump cc from 1.2.4 to 1.2.5 Find or Create Linear Issue for PR #485: Pull request #137 opened by dependabot bot
December 19, 2024 12:55 15s dependabot/cargo/cc-1.2.5
dependabot/cargo/cc-1.2.5
December 19, 2024 12:55 15s
ZIR-289: Remove unneeded + prime terms Find or Create Linear Issue for PR #484: Pull request #122 synchronize by tzerrell
December 19, 2024 00:08 12s tzerrell/cleanup-prime-adds
tzerrell/cleanup-prime-adds
December 19, 2024 00:08 12s
ZIR-249: Support out-of-tree builds Find or Create Linear Issue for PR #483: Pull request #89 synchronize by jacobdweightman
December 18, 2024 23:38 13s jacob/out-of-tree
jacob/out-of-tree
December 18, 2024 23:38 13s
ZIR-298: Move rv32im-v2 to risc0 Find or Create Linear Issue for PR #482: Pull request #130 synchronize by flaub
December 18, 2024 19:11 11s flaub/move-rv32im-v2
flaub/move-rv32im-v2
December 18, 2024 19:11 11s
ZIR-298: Move rv32im-v2 to risc0 Find or Create Linear Issue for PR #481: Pull request #130 synchronize by flaub
December 18, 2024 19:11 13s flaub/move-rv32im-v2
flaub/move-rv32im-v2
December 18, 2024 19:11 13s
ZIR-302: Final bits for memory and cycle soundness Find or Create Linear Issue for PR #480: Pull request #136 synchronize by flaub
December 18, 2024 18:58 12s jeremy-cycles
jeremy-cycles
December 18, 2024 18:58 12s
ZIR-302: Final bits for memory and cycle soundness Find or Create Linear Issue for PR #479: Pull request #136 opened by jbruestle
December 18, 2024 04:50 16s jeremy-cycles
jeremy-cycles
December 18, 2024 04:50 16s
ZIR-294: [WIP] Add wide join and join+lift programs Find or Create Linear Issue for PR #478: Pull request #126 synchronize by nategraf
December 18, 2024 01:27 13s victor/fat-join
victor/fat-join
December 18, 2024 01:27 13s
ZIR-301: Optimize predicate generation Find or Create Linear Issue for PR #477: Pull request #135 synchronize by shkoo
December 17, 2024 21:13 15s nils/predicates-opt
nils/predicates-opt
December 17, 2024 21:13 15s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #476: Pull request #131 synchronize by dependabot bot
December 17, 2024 20:49 18s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:49 18s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #475: Pull request #131 edited by dependabot bot
December 17, 2024 20:49 11s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:49 11s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #474: Pull request #131 edited by dependabot bot
December 17, 2024 20:47 15s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:47 15s
ZIR-301: Optimize predicate generation Find or Create Linear Issue for PR #473: Pull request #135 synchronize by shkoo
December 17, 2024 20:11 18s nils/predicates-opt
nils/predicates-opt
December 17, 2024 20:11 18s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #472: Pull request #131 edited by dependabot bot
December 17, 2024 20:06 10s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:06 10s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #471: Pull request #131 edited by dependabot bot
December 17, 2024 20:05 19s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:05 19s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #470: Pull request #131 synchronize by dependabot bot
December 17, 2024 20:05 3s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:05 3s
Bump serde from 1.0.215 to 1.0.216 Find or Create Linear Issue for PR #469: Pull request #132 synchronize by dependabot bot
December 17, 2024 20:05 16s dependabot/cargo/serde-1.0.216
dependabot/cargo/serde-1.0.216
December 17, 2024 20:05 16s
Bump sppark from 0.1.10 to 0.1.11 Find or Create Linear Issue for PR #468: Pull request #131 edited by dependabot bot
December 17, 2024 20:05 15s dependabot/cargo/sppark-0.1.11
dependabot/cargo/sppark-0.1.11
December 17, 2024 20:05 15s
Bump serde from 1.0.215 to 1.0.216 Find or Create Linear Issue for PR #467: Pull request #132 edited by dependabot bot
December 17, 2024 20:05 10s dependabot/cargo/serde-1.0.216
dependabot/cargo/serde-1.0.216
December 17, 2024 20:05 10s