Skip to content

Actions: anoma/juvix

Actions

Juvix Compiler CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
4,295 workflow runs
4,295 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add coding style guidelines Juvix Compiler CI #8567: Pull request #3059 synchronize by lukaszcz
October 1, 2024 15:27 47m 4s coding-style
coding-style
October 1, 2024 15:27 47m 4s
Avoid duplication in Nockma code generation Juvix Compiler CI #8566: Pull request #3070 synchronize by lukaszcz
October 1, 2024 14:15 13m 32s nockma-no-duplication
nockma-no-duplication
October 1, 2024 14:15 13m 32s
Add coding style guidelines Juvix Compiler CI #8565: Pull request #3059 synchronize by lukaszcz
October 1, 2024 14:15 51m 31s coding-style
coding-style
October 1, 2024 14:15 51m 31s
Fix named application bug Juvix Compiler CI #8564: Pull request #3075 synchronize by janmasrovira
October 1, 2024 14:14 48m 4s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 14:14 48m 4s
Merge typechecker negative tests Juvix Compiler CI #8563: Pull request #3076 synchronize by janmasrovira
October 1, 2024 14:14 48m 55s enable-negative-tests
enable-negative-tests
October 1, 2024 14:14 48m 55s
Fix named application bug Juvix Compiler CI #8562: Pull request #3075 synchronize by janmasrovira
October 1, 2024 13:45 13m 26s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 13:45 13m 26s
Merge typechecker negative tests Juvix Compiler CI #8561: Pull request #3076 synchronize by janmasrovira
October 1, 2024 13:44 14m 1s enable-negative-tests
enable-negative-tests
October 1, 2024 13:44 14m 1s
Reimplement positivity checker (#3057) Juvix Compiler CI #8560: Commit a192654 pushed by lukaszcz
October 1, 2024 11:39 47m 39s main
main
October 1, 2024 11:39 47m 39s
Add coding style guidelines Juvix Compiler CI #8559: Pull request #3059 synchronize by lukaszcz
October 1, 2024 10:54 48m 33s coding-style
coding-style
October 1, 2024 10:54 48m 33s
Fix named application bug Juvix Compiler CI #8558: Pull request #3075 ready_for_review by janmasrovira
October 1, 2024 10:38 51m 20s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 10:38 51m 20s
Merge typechecker negative tests Juvix Compiler CI #8557: Pull request #3076 ready_for_review by janmasrovira
October 1, 2024 10:38 47m 25s enable-negative-tests
enable-negative-tests
October 1, 2024 10:38 47m 25s
Fix named application bug Juvix Compiler CI #8556: Pull request #3075 synchronize by janmasrovira
October 1, 2024 10:37 56s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 10:37 56s
Merge typechecker negative tests Juvix Compiler CI #8555: Pull request #3076 synchronize by janmasrovira
October 1, 2024 10:28 9m 20s enable-negative-tests
enable-negative-tests
October 1, 2024 10:28 9m 20s
Merge typechecker negative tests Juvix Compiler CI #8554: Pull request #3076 synchronize by janmasrovira
October 1, 2024 10:28 1m 10s enable-negative-tests
enable-negative-tests
October 1, 2024 10:28 1m 10s
Fix named application bug Juvix Compiler CI #8553: Pull request #3075 synchronize by janmasrovira
October 1, 2024 10:14 23m 48s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 10:14 23m 48s
Merge typechecker negative tests Juvix Compiler CI #8552: Pull request #3076 opened by janmasrovira
October 1, 2024 10:14 14m 8s enable-negative-tests
enable-negative-tests
October 1, 2024 10:14 14m 8s
Reimplement positivity checker Juvix Compiler CI #8551: Pull request #3057 synchronize by janmasrovira
October 1, 2024 09:02 48m 59s fix-positivity-bug
fix-positivity-bug
October 1, 2024 09:02 48m 59s
Fix named application bug Juvix Compiler CI #8550: Pull request #3075 synchronize by janmasrovira
October 1, 2024 07:33 49m 42s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 07:33 49m 42s
Fix named application bug Juvix Compiler CI #8549: Pull request #3075 synchronize by janmasrovira
October 1, 2024 07:24 9m 5s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 07:24 9m 5s
Fix named application bug Juvix Compiler CI #8548: Pull request #3075 synchronize by janmasrovira
October 1, 2024 07:23 1m 2s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 07:23 1m 2s
Fix named application bug Juvix Compiler CI #8547: Pull request #3075 opened by janmasrovira
October 1, 2024 07:04 11m 58s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 1, 2024 07:04 11m 58s
Avoid duplication in Nockma code generation Juvix Compiler CI #8546: Pull request #3070 synchronize by lukaszcz
September 30, 2024 18:40 12m 8s nockma-no-duplication
nockma-no-duplication
September 30, 2024 18:40 12m 8s
Reimplement positivity checker Juvix Compiler CI #8545: Pull request #3057 synchronize by janmasrovira
September 30, 2024 17:29 49m 3s fix-positivity-bug
fix-positivity-bug
September 30, 2024 17:29 49m 3s
Remove unused field from ScoperState (#3073) Juvix Compiler CI #8544: Commit eaec932 pushed by janmasrovira
September 30, 2024 17:28 48m 20s main
main
September 30, 2024 17:28 48m 20s
Remove unused field from ScoperState Juvix Compiler CI #8543: Pull request #3073 ready_for_review by janmasrovira
September 30, 2024 15:59 51m 59s remove-unused-field
remove-unused-field
September 30, 2024 15:59 51m 59s