Skip to content

Actions: anoma/juvix

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix modular compilation with transitive imports
Juvix Compiler CI #10202: Pull request #3396 ready_for_review by lukaszcz
April 23, 2025 14:49 1h 35m 44s anoma-module-submission
April 23, 2025 14:49 1h 35m 44s
Fix modular compilation with transitive imports
Juvix Compiler CI #10201: Pull request #3396 synchronize by lukaszcz
April 23, 2025 14:21 28m 42s anoma-module-submission
April 23, 2025 14:21 28m 42s
Fix modular compilation with transitive imports
Juvix Compiler CI #10200: Pull request #3396 opened by lukaszcz
April 22, 2025 18:09 1h 43m 45s anoma-module-submission
April 22, 2025 18:09 1h 43m 45s
Improve Nock code generation
Juvix Compiler CI #10199: Pull request #3395 synchronize by lukaszcz
April 22, 2025 11:16 1h 50m 22s improve-nock-code
April 22, 2025 11:16 1h 50m 22s
Anoma HTTP JSON client communication
cleanup caches by a branch #870: Pull request #3391 closed by lukaszcz
April 22, 2025 11:16 15s anoma-json-client
April 22, 2025 11:16 15s
Anoma HTTP JSON client communication (#3391)
Juvix Compiler CI #10198: Commit 8c3a912 pushed by lukaszcz
April 22, 2025 11:16 1h 49m 18s main
April 22, 2025 11:16 1h 49m 18s
Improve Nock code generation
Juvix Compiler CI #10197: Pull request #3395 opened by lukaszcz
April 22, 2025 08:42 1h 42m 59s improve-nock-code
April 22, 2025 08:42 1h 42m 59s
.devcontainer/devcontainer.json
Codespaces Prebuilds #109: by github-codespaces bot
April 18, 2025 09:00 20m 31s main
April 18, 2025 09:00 20m 31s
Anoma HTTP JSON client communication
Juvix Compiler CI #10196: Pull request #3391 synchronize by lukaszcz
April 17, 2025 11:02 1h 50m 2s anoma-json-client
April 17, 2025 11:02 1h 50m 2s
Anoma HTTP JSON client communication
Juvix Compiler CI #10195: Pull request #3391 ready_for_review by lukaszcz
April 16, 2025 16:36 1h 53m 12s anoma-json-client
April 16, 2025 16:36 1h 53m 12s
Anoma HTTP JSON client communication
Juvix Compiler CI #10194: Pull request #3391 synchronize by lukaszcz
April 16, 2025 16:32 4m 15s anoma-json-client
April 16, 2025 16:32 4m 15s
Anoma HTTP JSON client communication
Juvix Compiler CI #10193: Pull request #3391 synchronize by lukaszcz
April 15, 2025 17:03 1h 29m 48s anoma-json-client
April 15, 2025 17:03 1h 29m 48s
Anoma HTTP JSON client communication
Juvix Compiler CI #10192: Pull request #3391 synchronize by lukaszcz
April 15, 2025 15:04 1h 30m 6s anoma-json-client
April 15, 2025 15:04 1h 30m 6s
Anoma HTTP JSON client communication
Juvix Compiler CI #10191: Pull request #3391 synchronize by lukaszcz
April 15, 2025 11:28 1h 25m 13s anoma-json-client
April 15, 2025 11:28 1h 25m 13s
Anoma HTTP JSON client communication
Juvix Compiler CI #10190: Pull request #3391 synchronize by lukaszcz
April 14, 2025 16:37 14m 3s anoma-json-client
April 14, 2025 16:37 14m 3s
Anoma HTTP JSON client communication
Juvix Compiler CI #10189: Pull request #3391 synchronize by lukaszcz
April 14, 2025 13:50 1h 22m 54s anoma-json-client
April 14, 2025 13:50 1h 22m 54s
Anoma HTTP JSON client communication
Juvix Compiler CI #10188: Pull request #3391 synchronize by lukaszcz
April 14, 2025 12:06 1h 15m 23s anoma-json-client
April 14, 2025 12:06 1h 15m 23s
Anoma HTTP JSON client communication
Juvix Compiler CI #10187: Pull request #3391 synchronize by lukaszcz
April 14, 2025 08:35 1h 15m 31s anoma-json-client
April 14, 2025 08:35 1h 15m 31s
Add the shielded prove-delta builtin
cleanup caches by a branch #869: Pull request #3388 closed by lukaszcz
April 14, 2025 08:17 14s cairo-prove-delta
April 14, 2025 08:17 14s
Add the shielded prove-delta builtin (#3388)
Juvix Compiler CI #10186: Commit 6043efb pushed by lukaszcz
April 14, 2025 08:17 1h 34m 34s main
April 14, 2025 08:17 1h 34m 34s
Add the shielded prove-delta builtin
Juvix Compiler CI #10185: Pull request #3388 synchronize by lukaszcz
April 11, 2025 17:22 1h 35m 27s cairo-prove-delta
April 11, 2025 17:22 1h 35m 27s
Anoma HTTP JSON client communication
Juvix Compiler CI #10184: Pull request #3391 opened by lukaszcz
April 11, 2025 17:18 1h 18m 34s anoma-json-client
April 11, 2025 17:18 1h 18m 34s
.devcontainer/devcontainer.json
Codespaces Prebuilds #108: by github-codespaces bot
April 11, 2025 09:00 19m 15s main
April 11, 2025 09:00 19m 15s
Add anoma-nullifier-key builtin
cleanup caches by a branch #868: Pull request #3385 closed by lukaszcz
April 10, 2025 17:13 18s nullifier-key
April 10, 2025 17:13 18s
Add anoma-nullifier-key builtin (#3385)
Juvix Compiler CI #10183: Commit 3a9d1dc pushed by lukaszcz
April 10, 2025 17:13 1h 32m 25s main
April 10, 2025 17:13 1h 32m 25s