Skip to content

Actions: risc0/zirgen

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add editorconfig file (same as risc0 & risczero-wip repos) (#26) CI #85: Commit 507ed36 pushed by mars-risc0
August 30, 2024 17:27 22m 46s main
main
August 30, 2024 17:27 22m 46s
add editorconfig file CI #84: Pull request #26 opened by mars-risc0
August 30, 2024 16:45 20m 34s mars/editorconfig
mars/editorconfig
August 30, 2024 16:45 20m 34s
cargo in /. - Update #876559294 Dependabot Updates #15: by dependabot bot
August 30, 2024 12:53 1m 11s main
main
August 30, 2024 12:53 1m 11s
ZIR-153: Introduce directive to manually alias layouts CI #83: Pull request #24 synchronize by jacobdweightman
August 29, 2024 18:46 4m 34s jacob/alias-layout-directive
jacob/alias-layout-directive
August 29, 2024 18:46 4m 34s
ZIR-152: Automatically populate issues in linear form PRs Find or Create Linear Issue for PR #1: Pull request #25 opened by shkoo
August 29, 2024 18:21 22s nils/linear
nils/linear
August 29, 2024 18:21 22s
ZIR-152: Automatically populate issues in linear form PRs CI #82: Pull request #25 opened by shkoo
August 29, 2024 18:21 23m 8s nils/linear
nils/linear
August 29, 2024 18:21 23m 8s
cargo in /. - Update #875986351 Dependabot Updates #14: by dependabot bot
August 29, 2024 12:22 1m 16s main
main
August 29, 2024 12:22 1m 16s
cargo in /. - Update #875462335 Dependabot Updates #13: by dependabot bot
August 28, 2024 12:49 1m 11s main
main
August 28, 2024 12:49 1m 11s
Add top level README CI #81: Commit 77e7396 pushed by jacobdweightman
August 28, 2024 04:04 32m 6s main
main
August 28, 2024 04:04 32m 6s
split docs/README so we have top-level README also CI #80: Pull request #23 synchronize by jacobdweightman
August 28, 2024 03:43 20m 37s mars/readme
mars/readme
August 28, 2024 03:43 20m 37s
split docs/README so we have top-level README also CI #79: Pull request #23 synchronize by jacobdweightman
August 28, 2024 00:37 25m 18s mars/readme
mars/readme
August 28, 2024 00:37 25m 18s
ZIR-153: Introduce directive to manually alias layouts CI #78: Pull request #24 opened by jacobdweightman
August 27, 2024 17:30 16m 21s jacob/alias-layout-directive
jacob/alias-layout-directive
August 27, 2024 17:30 16m 21s
split docs/README so we have top-level README also CI #77: Pull request #23 opened by mars-risc0
August 27, 2024 17:19 20m 37s mars/readme
mars/readme
August 27, 2024 17:19 20m 37s
satisfy compiler's concern about mixed signed/unsigned comparison (#20) CI #76: Commit 22eb426 pushed by mars-risc0
August 27, 2024 16:59 25m 47s main
main
August 27, 2024 16:59 25m 47s
cargo in /. - Update #874889499 Dependabot Updates #12: by dependabot bot
August 27, 2024 12:40 1m 13s main
main
August 27, 2024 12:40 1m 13s
satisfy compiler's concern about mixed signed/unsigned comparison CI #75: Pull request #20 synchronize by mars-risc0
August 26, 2024 19:15 7m 50s mars/fix-mixedsign-comparison
mars/fix-mixedsign-comparison
August 26, 2024 19:15 7m 50s
delete unused test support function which prompts a compiler warning … CI #74: Commit 004f942 pushed by mars-risc0
August 26, 2024 19:13 6m 29s main
main
August 26, 2024 19:13 6m 29s
delete unused test support function which prompts a compiler warning CI #73: Pull request #21 opened by mars-risc0
August 26, 2024 18:22 22m 21s mars/delete-unused-const-zero-test
mars/delete-unused-const-zero-test
August 26, 2024 18:22 22m 21s
satisfy compiler's concern about mixed signed/unsigned comparison CI #72: Pull request #20 opened by mars-risc0
August 26, 2024 18:18 23m 24s mars/fix-mixedsign-comparison
mars/fix-mixedsign-comparison
August 26, 2024 18:18 23m 24s
ZIR-159: basic rust emit option moved to zirgen repo CI #71: Pull request #19 synchronize by mars-risc0
August 26, 2024 17:58 41m 30s mars/export-rust
mars/export-rust
August 26, 2024 17:58 41m 30s
ZIR-159: basic rust emit option moved to zirgen repo CI #70: Pull request #19 synchronize by mars-risc0
August 26, 2024 17:39 19m 11s mars/export-rust
mars/export-rust
August 26, 2024 17:39 19m 11s
ZIR-159: basic rust emit option moved to zirgen repo CI #69: Pull request #19 opened by mars-risc0
August 26, 2024 17:39 54s mars/export-rust
mars/export-rust
August 26, 2024 17:39 54s
cargo in /. - Update #874119194 Dependabot Updates #11: by dependabot bot
August 26, 2024 12:29 1m 24s main
main
August 26, 2024 12:29 1m 24s
New way of doing builtins, draft. CI #68: Pull request #15 synchronize by shkoo
August 24, 2024 17:58 3h 46m 45s nils/builtins
nils/builtins
August 24, 2024 17:58 3h 46m 45s
Miscellaneous bug fixes (#14) CI #67: Commit 21dbf4d pushed by jacobdweightman
August 24, 2024 07:43 16m 11s main
main
August 24, 2024 07:43 16m 11s
ProTip! You can narrow down the results and go further in time using created:<2024-08-24 or the other filters available.