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
214 workflow runs
214 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

ZIR-238: Add CUDA support to keccak Find or Create Linear Issue for PR #214: Pull request #76 synchronize by flaub
November 17, 2024 08:21 16s flaub/keccak-cuda
flaub/keccak-cuda
November 17, 2024 08:21 16s
ZIR-238: Add CUDA support to keccak Find or Create Linear Issue for PR #213: Pull request #76 synchronize by flaub
November 17, 2024 08:01 14s flaub/keccak-cuda
flaub/keccak-cuda
November 17, 2024 08:01 14s
ZIR-238: Add CUDA support to keccak Find or Create Linear Issue for PR #212: Pull request #76 synchronize by flaub
November 17, 2024 06:43 13s flaub/keccak-cuda
flaub/keccak-cuda
November 17, 2024 06:43 13s
ZIR-238: Add CUDA support to keccak Find or Create Linear Issue for PR #211: Pull request #76 opened by flaub
November 17, 2024 06:29 17s flaub/keccak-cuda
flaub/keccak-cuda
November 17, 2024 06:29 17s
ZIR-237: Give 2nd EC add point its own arena Find or Create Linear Issue for PR #210: Pull request #74 synchronize by tzerrell
November 15, 2024 19:44 14s tzerrell/ec-add-split-buffer
tzerrell/ec-add-split-buffer
November 15, 2024 19:44 14s
ZIR-237: Give 2nd EC add point its own arena Find or Create Linear Issue for PR #209: Pull request #74 edited by tzerrell
November 15, 2024 19:44 12s tzerrell/ec-add-split-buffer
tzerrell/ec-add-split-buffer
November 15, 2024 19:44 12s
ZIR-237: Give 2nd EC add point its own arena Find or Create Linear Issue for PR #208: Pull request #74 synchronize by tzerrell
November 15, 2024 19:43 12s tzerrell/ec-add-split-buffer
tzerrell/ec-add-split-buffer
November 15, 2024 19:43 12s
ZIR-235: build rules to run bigint2c, emit blobs, and package into zip file Find or Create Linear Issue for PR #207: Pull request #72 edited by mars-risc0
November 15, 2024 15:44 14s mars/bootstrap-bigint-blobs
mars/bootstrap-bigint-blobs
November 15, 2024 15:44 14s
ZIR-237: Give 2nd EC add point its own arena Find or Create Linear Issue for PR #206: Pull request #74 opened by tzerrell
November 15, 2024 01:02 33s tzerrell/ec-add-split-buffer
tzerrell/ec-add-split-buffer
November 15, 2024 01:02 33s
ZIR-236: Create a new Zirgen Standard Library Find or Create Linear Issue for PR #205: Pull request #73 opened by jacobdweightman
November 14, 2024 22:22 19s jacob/zirgen-standard-library
jacob/zirgen-standard-library
November 14, 2024 22:22 19s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #204: Pull request #60 synchronize by nategraf
November 14, 2024 19:46 14s victor/union-program
victor/union-program
November 14, 2024 19:46 14s
ZIR-233: Add end-to-end keccak test for using keccak accelerator in the guest Find or Create Linear Issue for PR #203: Pull request #70 synchronize by shkoo
November 14, 2024 19:38 17s nils/keccak2
nils/keccak2
November 14, 2024 19:38 17s
ZIR-235: build rules to run bigint2c, emit blobs, and package into zip file Find or Create Linear Issue for PR #202: Pull request #72 synchronize by mars-risc0
November 14, 2024 18:48 13s mars/bootstrap-bigint-blobs
mars/bootstrap-bigint-blobs
November 14, 2024 18:48 13s
ZIR-235: build rules to run bigint2c, emit blobs, and package into zip file Find or Create Linear Issue for PR #201: Pull request #72 synchronize by mars-risc0
November 14, 2024 18:42 13s mars/bootstrap-bigint-blobs
mars/bootstrap-bigint-blobs
November 14, 2024 18:42 13s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #200: Pull request #60 synchronize by nategraf
November 14, 2024 18:08 18s victor/union-program
victor/union-program
November 14, 2024 18:08 18s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #199: Pull request #60 synchronize by nategraf
November 14, 2024 16:43 19s victor/union-program
victor/union-program
November 14, 2024 16:43 19s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #198: Pull request #60 synchronize by nategraf
November 14, 2024 16:24 19s victor/union-program
victor/union-program
November 14, 2024 16:24 19s
ZIR-226: refactor keccak: reg aliasing and unified constraints Find or Create Linear Issue for PR #197: Pull request #63 synchronize by iddo-bentov
November 14, 2024 01:39 12s iddo/keccak-main
iddo/keccak-main
November 14, 2024 01:39 12s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #196: Pull request #60 synchronize by nategraf
November 14, 2024 00:07 17s victor/union-program
victor/union-program
November 14, 2024 00:07 17s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #195: Pull request #60 synchronize by nategraf
November 13, 2024 23:30 19s victor/union-program
victor/union-program
November 13, 2024 23:30 19s
ZIR-224: Add union recursion program Find or Create Linear Issue for PR #194: Pull request #60 synchronize by nategraf
November 13, 2024 23:23 12s victor/union-program
victor/union-program
November 13, 2024 23:23 12s
ZIR-235: build rules to run bigint2c, emit blobs, and package into zip file Find or Create Linear Issue for PR #193: Pull request #72 synchronize by mars-risc0
November 13, 2024 22:06 11s mars/bootstrap-bigint-blobs
mars/bootstrap-bigint-blobs
November 13, 2024 22:06 11s
ZIR-235: build rules to run bigint2c, emit blobs, and package into zip file Find or Create Linear Issue for PR #192: Pull request #72 opened by mars-risc0
November 13, 2024 21:31 22s mars/bootstrap-bigint-blobs
mars/bootstrap-bigint-blobs
November 13, 2024 21:31 22s
ZIR-232: Add Assert and Abort externs Find or Create Linear Issue for PR #191: Pull request #69 synchronize by jacobdweightman
November 13, 2024 18:36 14s jacob/assert
jacob/assert
November 13, 2024 18:36 14s
ZIR-233: Add end-to-end keccak test for using keccak accelerator in the guest Find or Create Linear Issue for PR #190: Pull request #70 synchronize by shkoo
November 13, 2024 09:40 15s nils/keccak2
nils/keccak2
November 13, 2024 09:40 15s