Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Avoid duplication in Nockma code generation Juvix Compiler CI #8572: Pull request #3070 synchronize by lukaszcz
October 2, 2024 15:50 In progress nockma-no-duplication
nockma-no-duplication
October 2, 2024 15:50 In progress
Fix termination crash due to empty permutation Juvix Compiler CI #8571: Pull request #3081 synchronize by lukaszcz
October 1, 2024 17:31 48m 30s fix-termination-crash
fix-termination-crash
October 1, 2024 17:31 48m 30s
Avoid duplication in Nockma code generation Juvix Compiler CI #8570: Pull request #3070 synchronize by lukaszcz
October 1, 2024 17:29 42m 13s nockma-no-duplication
nockma-no-duplication
October 1, 2024 17:29 42m 13s
Fix termination crash due to empty permutation Juvix Compiler CI #8569: Pull request #3081 ready_for_review by janmasrovira
October 1, 2024 15:44 42m 31s fix-termination-crash
fix-termination-crash
October 1, 2024 15:44 42m 31s
Fix termination crash due to empty permutation Juvix Compiler CI #8568: Pull request #3081 opened by janmasrovira
October 1, 2024 15:41 4m 10s fix-termination-crash
fix-termination-crash
October 1, 2024 15:41 4m 10s
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 cleanup caches by a branch #669: Pull request #3057 closed by lukaszcz
October 1, 2024 11:39 12s fix-positivity-bug
fix-positivity-bug
October 1, 2024 11:39 12s
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