Skip to content

Actions: anoma/juvix

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,103 workflow runs
5,103 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix code Update Dockerfile
Juvix Compiler CI #9477: Pull request #3261 opened by Hack666r
December 25, 2024 21:14 Action required Hack666r:fix-code
December 25, 2024 21:14 Action required
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
Add dev anoma print-config command (#3260)
Juvix Compiler CI #9476: Commit b386fbc pushed by janmasrovira
December 24, 2024 16:27 1h 8m 43s main
December 24, 2024 16:27 1h 8m 43s
Add dev anoma print-config command
Juvix Compiler CI #9475: Pull request #3260 ready_for_review by janmasrovira
December 24, 2024 14:50 1h 9m 31s anoma-print-config
December 24, 2024 14:50 1h 9m 31s
Add dev anoma print-config command
Juvix Compiler CI #9474: Pull request #3260 synchronize by janmasrovira
December 24, 2024 14:48 1m 27s anoma-print-config
December 24, 2024 14:48 1m 27s
Add dev anoma print-config command
Juvix Compiler CI #9473: Pull request #3260 opened by janmasrovira
December 24, 2024 14:45 3m 53s anoma-print-config
December 24, 2024 14:45 3m 53s
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
Modify how the arguments are passed to the anoma node (#3258)
Juvix Compiler CI #9472: Commit a4faa31 pushed by paulcadman
December 24, 2024 13:21 1h 9m 34s main
December 24, 2024 13:21 1h 9m 34s
Modify how the arguments are passed to the anoma node
Juvix Compiler CI #9471: Pull request #3258 ready_for_review by janmasrovira
December 24, 2024 10:59 1h 5m 25s prove-arg-option
December 24, 2024 10:59 1h 5m 25s
Modify how the arguments are passed to the anoma node
Juvix Compiler CI #9470: Pull request #3258 synchronize by janmasrovira
December 24, 2024 10:32 27m 12s prove-arg-option
December 24, 2024 10:32 27m 12s
Modify how the arguments are passed to the anoma node
Juvix Compiler CI #9469: Pull request #3258 synchronize by janmasrovira
December 23, 2024 17:31 1h 5m 28s prove-arg-option
December 23, 2024 17:31 1h 5m 28s
Modify how the arguments are passed to the anoma node
Juvix Compiler CI #9468: Pull request #3258 synchronize by janmasrovira
December 23, 2024 16:17 1h 9m 20s prove-arg-option
December 23, 2024 16:17 1h 9m 20s
Modify how the arguments are passed to the anoma node
Juvix Compiler CI #9467: Pull request #3258 opened by janmasrovira
December 23, 2024 15:40 37m 54s prove-arg-option
December 23, 2024 15:40 37m 54s
Build Linux static binary
Build Linux static binary #51: Manually run by paulcadman
December 20, 2024 15:39 30m 12s main
December 20, 2024 15:39 30m 12s
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
Release 0.6.9 (#3254)
Juvix Compiler CI #9466: Commit b954100 pushed by lukaszcz
December 20, 2024 15:25 1h 8m 10s main
December 20, 2024 15:25 1h 8m 10s
Release 0.6.9
Juvix Compiler CI #9465: Pull request #3254 ready_for_review by paulcadman
December 20, 2024 13:56 1h 8m 39s release-0.6.9
December 20, 2024 13:56 1h 8m 39s
Release 0.6.9
Juvix Compiler CI #9464: Pull request #3254 synchronize by paulcadman
December 20, 2024 13:55 58s release-0.6.9
December 20, 2024 13:55 58s
[main]: The args file to the prove CLI must now be textual nock term (#3253)
Codespaces Prebuilds #92: by github-codespaces bot
December 20, 2024 09:00 21m 49s main
December 20, 2024 09:00 21m 49s
Release 0.6.9
Juvix Compiler CI #9463: Pull request #3254 opened by paulcadman
December 19, 2024 17:55 1h 11m 57s release-0.6.9
December 19, 2024 17:55 1h 11m 57s
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
The args file to the prove CLI must now be textual nock term (#3253)
Juvix Compiler CI #9462: Commit 4c1a686 pushed by paulcadman
December 19, 2024 17:40 1h 5m 1s main
December 19, 2024 17:40 1h 5m 1s
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
The args file to the prove CLI must now be textual nock term
Juvix Compiler CI #9461: Pull request #3253 opened by paulcadman
December 19, 2024 16:22 1h 8m 42s prove-text-term-nock
December 19, 2024 16:22 1h 8m 42s
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