Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update juvix-stdlib to main cleanup caches by a branch #836: Pull request #3311 closed by janmasrovira
February 20, 2025 09:10 20s update-stdlib
update-stdlib
February 20, 2025 09:10 20s
Update juvix-stdlib to main (#3311) Juvix Compiler CI #9854: Commit 8e254ac pushed by janmasrovira
February 20, 2025 09:10 1h 34m 55s main
main
February 20, 2025 09:10 1h 34m 55s
Qualified constructors Juvix Compiler CI #9853: Pull request #3337 synchronize by janmasrovira
February 20, 2025 07:33 1h 16m 3s qualified-constructors
qualified-constructors
February 20, 2025 07:33 1h 16m 3s
Qualified constructors Juvix Compiler CI #9852: Pull request #3337 synchronize by janmasrovira
February 19, 2025 18:44 1h 15m 2s qualified-constructors
qualified-constructors
February 19, 2025 18:44 1h 15m 2s
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 cleanup caches by a branch #835: Pull request #3336 closed by janmasrovira
February 18, 2025 15:04 17s 3327-extending-type-modules
3327-extending-type-modules
February 18, 2025 15:04 17s
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