8000 Juvix Compiler CI · 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

8000

Actions

Juvix Compiler CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
3,482 workflow runs
3,482 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Indexed types and type level natural numbers Juvix Compiler CI #10342: Pull request #3399 synchronize by lukaszcz
May 27, 2025 11:35 1h 18m 14s indexed-types
indexed-types
May 27, 2025 11:35 1h 18m 14s
Indexed types and type level natural numbers Juvix Compiler CI #10341: Pull request #3399 synchronize by janmasrovira
May 27, 2025 10:53 9m 2s indexed-types
indexed-types
May 27, 2025 10:53 9m 2s
Indexed types and type level natural numbers Juvix Compiler CI #10340: Pull request #3399 synchronize by lukaszcz
May 27, 2025 08:05 1h 14m 11s indexed-types
indexed-types
May 27, 2025 08:05 1h 14m 11s
Linear fixities Juvix Compiler CI #10339: Pull request #3419 synchronize by janmasrovira
May 26, 2025 22:05 1h 33m 38s explicit-fixity
explicit-fixity
May 26, 2025 22:05 1h 33m 38s
Linear fixities Juvix Compiler CI #10338: Pull request #3419 opened by janmasrovira
May 26, 2025 21:55 10m 10s explicit-fixity
explicit-fixity
May 26, 2025 21:55 10m 10s
Indexed types and type level natural numbers Juvix Compiler CI #10337: Pull request #3399 synchronize by lukaszcz
May 26, 2025 18:12 1h 12m 6s indexed-types
indexed-types
May 26, 2025 18:12 1h 12m 6s
Indexed types and type level natural numbers Juvix Compiler CI #10336: Pull request #3399 synchronize by lukaszcz
May 26, 2025 18:10 2m 47s indexed-types
indexed-types
May 26, 2025 18:10 2m 47s
Indexed types and type level natural numbers Juvix Compiler CI #10335: Pull request #3399 synchronize by lukaszcz
May 26, 2025 17:44 25m 51s indexed-types
indexed-types
May 26, 2025 17:44 25m 51s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins (#3417) Juvix Compiler CI #10334: Commit 991fb0c pushed by janmasrovira
May 26, 2025 15:20 1h 34m 51s main
main
May 26, 2025 15:20 1h 34m 51s
Indexed types and type level natural numbers Juvix Compiler CI #10333: Pull request #3399 synchronize by lukaszcz
May 23, 2025 18:45 1h 35m 11s indexed-types
indexed-types
May 23, 2025 18:45 1h 35m 11s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10332: Pull request #3417 synchronize by janmasrovira
May 23, 2025 17:53 1h 30m 53s keccack
keccack
May 23, 2025 17:53 1h 30m 53s
Indexed types and type level natural numbers Juvix Compiler CI #10331: Pull request #3399 synchronize by lukaszcz
May 23, 2025 17:46 1h 0m 1s indexed-types
indexed-types
May 23, 2025 17:46 1h 0m 1s
Indexed types and type level natural numbers Juvix Compiler CI #10330: Pull request #3399 synchronize by lukaszcz
May 23, 2025 17:27 19m 35s indexed-types
indexed-types
May 23, 2025 17:27 19m 35s
Indexed types and type level natural numbers Juvix Compiler CI #10329: Pull request #3399 synchronize by lukaszcz
May 23, 2025 15:25 1h 34m 27s indexed-types
indexed-types
May 23, 2025 15:25 1h 34m 27s
Indexed types and type level natural numbers Juvix Compiler CI #10328: Pull request #3399 synchronize by lukaszcz
May 23, 2025 15:24 1m 1s indexed-types
indexed-types
May 23, 2025 15:24 1m 1s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10327: Pull request #3417 synchronize by janmasrovira
May 23, 2025 14:20 1h 14m 15s keccack
keccack
May 23, 2025 14:20 1h 14m 15s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10326: Pull request #3417 ready_for_review by janmasrovira
May 23, 2025 13:17 1h 3m 59s keccack
keccack
May 23, 2025 13:17 1h 3m 59s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10325: Pull request #3417 synchronize by janmasrovira
May 23, 2025 13:17 4s keccack
keccack
May 23, 2025 13:17 4s
Drop generated statements when pretty printing local modules (#3414) Juvix Compiler CI #10324: Commit 6aa2291 pushed by janmasrovira
May 23, 2025 13:16 1h 33m 31s main
main
May 23, 2025 13:16 1h 33m 31s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10323: Pull request #3417 synchronize by janmasrovira
May 23, 2025 13:15 1m 30s keccack
keccack
May 23, 2025 13:15 1m 30s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10322: Pull request #3417 synchronize by janmasrovira
May 23, 2025 10:32 1h 12m 25s keccack
keccack
May 23, 2025 10:32 1h 12m 25s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10321: Pull request #3417 synchronize by janmasrovira
May 23, 2025 10:30 2m 16s keccack
keccack
May 23, 2025 10:30 2m 16s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10320: Pull request #3417 synchronize by janmasrovira
May 23, 2025 10:24 6m 10s keccack
keccack
May 23, 2025 10:24 6m 10s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10319: Pull request #3417 synchronize by janmasrovira
May 23, 2025 10:04 20m 6s keccack
keccack
May 23, 2025 10:04 20m 6s
Add keccak256, Secp256k1{Sign, Verify, PubKey} builtins Juvix Compiler CI #10318: Pull request #3417 synchronize by janmasrovira
May 23, 2025 10:04 42s keccack
keccack
May 23, 2025 10:04 42s
0