8000 Workflow runs · anoma/juvix · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,024 workflow runs
4,024 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nockma reification (#3381) Juvix Compiler CI #10180: Commit 0ba7c77 pushed by lukaszcz
April 10, 2025 10:00 1h 41m 27s main
main
April 10, 2025 10:00 1h 41m 27s
Add anoma-nullifier-key builtin Juvix Compiler CI #10179: Pull request #3385 synchronize by janmasrovira
April 10, 2025 07:23 1h 34m 34s nullifier-key
nullifier-key
April 10, 2025 07:23 1h 34m 34s
Nockma reification Juvix Compiler CI #10178: Pull request #3381 synchronize by janmasrovira
April 9, 2025 14:30 1h 35m 2s type-rep
type-rep
April 9, 2025 14:30 1h 35m 2s
Update to RISC0 1.2.6 cleanup caches by a branch #866: Pull request #3389 closed by lukaszcz
April 9, 2025 14:26 14s update-risc0
update-risc0
April 9, 2025 14:26 14s
Update to RISC0 1.2.6 (#3389) Juvix Compiler CI #10177: Commit fd8e595 pushed by lukaszcz
April 9, 2025 14:26 1h 35m 27s main
main
April 9, 2025 14:26 1h 35m 27s
Add anoma-nullifier-key builtin Juvix Compiler CI #10176: Pull request #3385 synchronize by janmasrovira
April 9, 2025 13:08 1h 15m 51s nullifier-key
nullifier-key
April 9, 2025 13:08 1h 15m 51s
Update to RISC0 1.2.6 Juvix Compiler CI #10175: Pull request #3389 ready_for_review by lukaszcz
April 9, 2025 12:21 1h 34m 53s update-risc0
update-risc0
April 9, 2025 12:21 1h 34m 53s
Add the shielded prove-delta builtin Juvix Compiler CI #10174: Pull request #3388 synchronize by lukaszcz
April 9, 2025 10:39 1h 10m 48s cairo-prove-delta
cairo-prove-delta
April 9, 2025 10:39 1h 10m 48s
Update to RISC0 1.2.6 Juvix Compiler CI #10173: Pull request #3389 synchronize by lukaszcz
April 9, 2025 10:15 1h 34m 33s update-risc0
update-risc0
April 9, 2025 10:15 1h 34m 33s
Update to RISC0 1.2.6 Juvix Compiler CI #10172: Pull request #3389 opened by lukaszcz
April 9, 2025 10:14 1m 2s update-risc0
update-risc0
April 9, 2025 10:14 1m 2s
Improve efficiency of Natural <-> ByteString cleanup caches by a branch #865: Pull request #3386 closed by lukaszcz
April 8, 2025 17:38 18s natural-bytestring
natural-bytestring
April 8, 2025 17:38 18s
Improve efficiency of Natural <-> ByteString (#3386) Juvix Compiler CI #10171: Commit 58af0e1 pushed by lukaszcz
April 8, 2025 17:38 1h 9m 35s main
main
April 8, 2025 17:38 1h 9m 35s
Nockma reification Juvix Compiler CI #10170: Pull request #3381 synchronize by janmasrovira
April 8, 2025 17:28 1h 15m 48s type-rep
type-rep
April 8, 2025 17:28 1h 15m 48s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10169: Pull request #3386 synchronize by lukaszcz
April 8, 2025 15:21 1h 37m 13s natural-bytestring
natural-bytestring
April 8, 2025 15:21 1h 37m 13s
Nockma reification Juvix Compiler CI #10168: Pull request #3381 synchronize by janmasrovira
April 8, 2025 15:03 1h 44m 43s type-rep
type-rep
April 8, 2025 15:03 1h 44m 43s
Precompute nock hashes cleanup caches by a branch #864: Pull request #3384 closed by janmasrovira
April 8, 2025 15:00 20s precompute-nock-hashes
precompute-nock-hashes
April 8, 2025 15:00 20s
Precompute nock hashes (#3384) Juvix Compiler CI #10167: Commit e3d182d pushed by janmasrovira
April 8, 2025 15:00 1h 36m 14s main
main
April 8, 2025 15:00 1h 36m 14s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10166: Pull request #3386 ready_for_review by janmasrovira
April 8, 2025 14:47 34m 4s natural-bytestring
natural-bytestring
April 8, 2025 14:47 34m 4s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10165: Pull request #3386 synchronize by janmasrovira
April 8, 2025 14:29 18m 22s natural-bytestring
natural-bytestring
April 8, 2025 14:29 18m 22s
< C6B6 /div>
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10164: Pull request #3386 synchronize by janmasrovira
April 8, 2025 13:50 3m 30s natural-bytestring
natural-bytestring
April 8, 2025 13:50 3m 30s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10163: Pull request #3386 synchronize by janmasrovira
April 8, 2025 10:58 1h 15m 37s natural-bytestring
natural-bytestring
April 8, 2025 10:58 1h 15m 37s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10162: Pull request #3386 synchronize by janmasrovira
April 8, 2025 10:56 1m 41s natural-bytestring
natural-bytestring
April 8, 2025 10:56 1m 41s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10161: Pull request #3386 synchronize by janmasrovira
April 8, 2025 10:55 1m 50s natural-bytestring
natural-bytestring
April 8, 2025 10:55 1m 50s
Improve efficiency of Natural <-> ByteString Juvix Compiler CI #10160: Pull request #3386 synchronize by janmasrovira
April 8, 2025 10:53 1m 40s natural-bytestring
natural-bytestring
April 8, 2025 10:53 1m 40s
Add the shielded prove-delta builtin Juvix Compiler CI #10159: Pull request #3388 synchronize by lukaszcz
April 7, 2025 16:19 1h 32m 23s cairo-prove-delta
cairo-prove-delta
April 7, 2025 16:19 1h 32m 23s
0