Skip to content

Actions: anoma/juvix

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update stdlib reference to point to main
cleanup caches by a branch #801: Pull request #3281 closed by janmasrovira
January 16, 2025 20:56 14s update-stdlib-1
January 16, 2025 20:56 14s
Upload Juvix binary from each CI run
cleanup caches by a branch #800: Pull request #3280 closed by janmasrovira
January 15, 2025 19:14 19s ci-upload-juvix-binary
January 15, 2025 19:14 19s
Recursive markdown generation
cleanup caches by a branch #799: Pull request #3268 closed by janmasrovira
January 15, 2025 18:00 26s 3130-recursive-markdown-generation
January 15, 2025 18:00 26s
Update stdlib reference to point to main
cleanup caches by a branch #798: Pull request #3276 closed by lukaszcz
January 14, 2025 14:51 15s update-stdlib-ref
January 14, 2025 14:51 15s
Fix let-patterns inside named arguments
cleanup caches by a branch #796: Pull request #3274 closed by janmasrovira
January 13, 2025 09:12 21s fix-let-patterns
January 13, 2025 09:12 21s
Add --cue flag to dev nockma encode
cleanup caches by a branch #794: Pull request #3272 closed by paulcadman
January 9, 2025 11:52 16s extend-encode-cue-jam
January 9, 2025 11:52 16s
Update nock Anoma stdlib
cleanup caches by a branch #793: Pull request #3271 closed by janmasrovira
January 8, 2025 15:48 18s update-anoma-lib
January 8, 2025 15:48 18s
Allow partially applied trace
cleanup caches by a branch #792: Pull request #3267 closed by lukaszcz
January 7, 2025 18:00 18s trace-no-check
January 7, 2025 18:00 18s
Fix source locations for flatparse backend and add tests for import scanning
cleanup caches by a branch #791: Pull request #3265 closed by janmasrovira
January 7, 2025 14:42 23s scan-imports-tests
January 7, 2025 14:42 23s
fix code Update Dockerfile
cleanup caches by a branch #790: Pull request #3261 closed by paulcadman
January 7, 2025 13:42 Action required Hack666r:fix-code
January 7, 2025 13:42 Action required
Add --print-loc option to dev import-tree scan command
cleanup caches by a branch #789: Pull request #3263 closed by janmasrovira
January 7, 2025 12:54 23s scan-print-loc
January 7, 2025 12:54 23s
Remove global --unroll limit flag
cleanup caches by a branch #788: Pull request #3262 closed by lukaszcz
January 7, 2025 11:06 26s remove-global-unroll-limit
January 7, 2025 11:06 26s
Fix flatparse location
cleanup caches by a branch #787: Pull request #3264 closed by janmasrovira
December 28, 2024 11:16 11s fix-flatparse-loc
December 28, 2024 11:16 11s
Add dev anoma print-config command
cleanup caches by a branch #786: Pull request #3260 closed by janmasrovira
December 24, 2024 16:27 16s anoma-print-config
December 24, 2024 16:27 16s
Modify how the arguments are passed to the anoma node
cleanup caches by a branch #785: Pull request #3258 closed by paulcadman
December 24, 2024 13:21 24s prove-arg-option
December 24, 2024 13:21 24s
Release 0.6.9
cleanup caches by a branch #784: Pull request #3254 closed by lukaszcz
December 20, 2024 15:25 19s release-0.6.9
December 20, 2024 15:25 19s
The args file to the prove CLI must now be textual nock term
cleanup caches by a branch #783: Pull request #3253 closed by paulcadman
December 19, 2024 17:40 19s prove-text-term-nock
December 19, 2024 17:40 19s
Add RPC and dev command for Anoma.Protobuf.IntentsService.Verify
cleanup caches by a branch #782: Pull request #3241 closed by paulcadman
December 19, 2024 16:23 18s verify-intent
December 19, 2024 16:23 18s
Fix node scanning for ImportTree
cleanup caches by a branch #781: Pull request #3251 closed by lukaszcz
December 19, 2024 11:05 21s 3244-parallel-compilation-is-buggy
December 19, 2024 11:05 21s
Make top-level definitions mutually recursive
cleanup caches by a branch #780: Pull request #3250 closed by lukaszcz
December 19, 2024 08:37 17s toplevel-recursive-definitions
December 19, 2024 08:37 17s
Allow module self-reference
cleanup caches by a branch #779: Pull request #3240 closed by janmasrovira
December 18, 2024 09:03 29s allow-module-self-reference
December 18, 2024 09:03 29s
Update Juvix Cairo VM
cleanup caches by a branch #778: Pull request #3249 closed by lukaszcz
December 17, 2024 16:36 26s update-cairo-vm
December 17, 2024 16:36 26s
Add support for Anoma RM is-commitment and is-nullifier
cleanup caches by a branch #777: Pull request #3242 closed by lukaszcz
December 17, 2024 13:34 17s anoma-is-commitment-is-nullifier
December 17, 2024 13:34 17s