Skip to content

Actions: anoma/juvix

Actions

Juvix Compiler CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Modular compilation in JuvixTree Juvix Compiler CI #9851: Pull request #3324 synchronize by lukaszcz
February 19, 2025 14:51 1h 20m 11s modular-stripped
modular-stripped
February 19, 2025 14:51 1h 20m 11s
Qualified constructors Juvix Compiler CI #9850: Pull request #3337 synchronize by janmasrovira
February 19, 2025 12:30 1h 12m 12s qualified-constructors
qualified-constructors
February 19, 2025 12:30 1h 12m 12s
Modular compilation in JuvixTree Juvix Compiler CI #9849: Pull request #3324 synchronize by lukaszcz
February 19, 2025 12:15 1h 1m 53s modular-stripped
modular-stripped
February 19, 2025 12:15 1h 1m 53s
Modular compilation in JuvixTree Juvix Compiler CI #9848: Pull request #3324 synchronize by lukaszcz
February 19, 2025 12:02 13m 31s modular-stripped
modular-stripped
February 19, 2025 12:02 13m 31s
Qualified constructors Juvix Compiler CI #9847: Pull request #3337 synchronize by janmasrovira
February 18, 2025 22:56 47s qualified-constructors
qualified-constructors
February 18, 2025 22:56 47s
Qualified constructors Juvix Compiler CI #9846: Pull request #3337 synchronize by janmasrovira
February 18, 2025 19:32 29m 59s qualified-constructors
qualified-constructors
February 18, 2025 19:32 29m 59s
Update juvix-stdlib to main Juvix Compiler CI #9845: Pull request #3311 synchronize by janmasrovira
February 18, 2025 19:30 1h 18m 27s update-stdlib
update-stdlib
February 18, 2025 19:30 1h 18m 27s
Update juvix-stdlib to main Juvix Compiler CI #9844: Pull request #3311 ready_for_review by janmasrovira
February 18, 2025 19:29 46s update-stdlib
update-stdlib
February 18, 2025 19:29 46s
Qualified constructors Juvix Compiler CI #9843: Pull request #3337 synchronize by janmasrovira
February 18, 2025 18:13 21m 7s qualified-constructors
qualified-constructors
February 18, 2025 18:13 21m 7s
Update juvix-stdlib to main Juvix Compiler CI #9842: Pull request #3311 synchronize by janmasrovira
February 18, 2025 17:50 1h 35m 7s update-stdlib
update-stdlib
February 18, 2025 17:50 1h 35m 7s
Update juvix-stdlib to main Juvix Compiler CI #9841: Pull request #3311 synchronize by janmasrovira
February 18, 2025 17:22 28m 1s update-stdlib
update-stdlib
February 18, 2025 17:22 28m 1s
Modular compilation in JuvixTree Juvix Compiler CI #9840: Pull request #3324 synchronize by lukaszcz
February 18, 2025 17:02 1h 4m 21s modular-stripped
modular-stripped
February 18, 2025 17:02 1h 4m 21s
Modular compilation in JuvixTree Juvix Compiler CI #9839: Pull request #3324 synchronize by lukaszcz
February 18, 2025 17:01 30s modular-stripped
modular-stripped
February 18, 2025 17:01 30s
Update juvix-stdlib to main Juvix Compiler CI #9838: Pull request #3311 synchronize by janmasrovira
February 18, 2025 16:25 57m 15s update-stdlib
update-stdlib
February 18, 2025 16:25 57m 15s
Update juvix-stdlib to main Juvix Compiler CI #9837: Pull request #3311 synchronize by janmasrovira
February 18, 2025 16:14 10m 47s update-stdlib
update-stdlib
February 18, 2025 16:14 10m 47s
Update juvix-stdlib to main Juvix Compiler CI #9836: Pull request #3311 synchronize by janmasrovira
February 18, 2025 15:43 31m 23s update-stdlib
update-stdlib
February 18, 2025 15:43 31m 23s
Qualified constructors Juvix Compiler CI #9835: Pull request #3337 synchronize by janmasrovira
February 18, 2025 15:05 13m 1s qualified-constructors
qualified-constructors
February 18, 2025 15:05 13m 1s
Extend type modules (#3336) Juvix Compiler CI #9834: Commit 4892e66 pushed by janmasrovira
February 18, 2025 15:04 1h 9m 18s main
main
February 18, 2025 15:04 1h 9m 18s
Qualified constructors Juvix Compiler CI #9833: Pull request #3337 opened by janmasrovira
February 18, 2025 15:04 1m 2s qualified-constructors
qualified-constructors
February 18, 2025 15:04 1m 2s
Extend type modules Juvix Compiler CI #9832: Pull request #3336 synchronize by janmasrovira
February 18, 2025 13:49 1h 9m 20s 3327-extending-type-modules
3327-extending-type-modules
February 18, 2025 13:49 1h 9m 20s
Fix builtin anoma-random-next-bytes (#3322) Juvix Compiler CI #9831: Commit 9bd5774 pushed by janmasrovira
February 18, 2025 13:48 1h 6m 56s main
main
February 18, 2025 13:48 1h 6m 56s
Modular compilation in JuvixTree Juvix Compiler CI #9830: Pull request #3324 synchronize by lukaszcz
February 18, 2025 10:49 48m 15s modular-stripped
modular-stripped
February 18, 2025 10:49 48m 15s
Extend type modules Juvix Compiler CI #9829: Pull request #3336 synchronize by janmasrovira
February 18, 2025 10:34 1h 5m 20s 3327-extending-type-modules
3327-extending-type-modules
February 18, 2025 10:34 1h 5m 20s
Extend type modules Juvix Compiler CI #9828: Pull request #3336 ready_for_review by janmasrovira
February 18, 2025 08:53 1h 6m 59s 3327-extending-type-modules
3327-extending-type-modules
February 18, 2025 08:53 1h 6m 59s
Extend type modules Juvix Compiler CI #9827: Pull request #3336 synchronize by janmasrovira
February 18, 2025 08:53 31s 3327-extending-type-modules
3327-extending-type-modules
February 18, 2025 08:53 31s