Skip to content

Actions: anoma/juvix

Actions

Juvix Compiler CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update to GHC 9.10.1 Juvix Compiler CI #8346: Pull request #2991 synchronize by lukaszcz
September 8, 2024 11:46 49m 49s ghc-9.10.1
ghc-9.10.1
September 8, 2024 11:46 49m 49s
Isabelle/HOL translation: recursive translation of the whole project Juvix Compiler CI #8345: Pull request #2977 synchronize by lukaszcz
September 8, 2024 11:46 10m 11s isabelle-recursive-project
isabelle-recursive-project
September 8, 2024 11:46 10m 11s
Compilation of side conditions in pattern matches Juvix Compiler CI #8344: Pull request #2984 synchronize by janmasrovira
September 8, 2024 10:00 42m 52s matching-side-conditions
matching-side-conditions
September 8, 2024 10:00 42m 52s
Remove legacy naive match-to-case compiler (#3003) Juvix Compiler CI #8343: Commit 5675b4f pushed by janmasrovira
September 8, 2024 09:59 45m 3s main
main
September 8, 2024 09:59 45m 3s
Remove legacy naive match-to-case compiler Juvix Compiler CI #8342: Pull request #3003 opened by lukaszcz
September 7, 2024 19:11 43m 7s remove-naive-match-compiler
remove-naive-match-compiler
September 7, 2024 19:11 43m 7s
Improve instance termination checking Juvix Compiler CI #8341: Pull request #2989 synchronize by janmasrovira
September 7, 2024 09:59 45m 2s 2882-improve-termination-checking-for-instances
2882-improve-termination-checking-for-instances
September 7, 2024 09:59 45m 2s
Improve instance termination checking Juvix Compiler CI #8340: Pull request #2989 synchronize by janmasrovira
September 6, 2024 17:30 46m 7s 2882-improve-termination-checking-for-instances
2882-improve-termination-checking-for-instances
September 6, 2024 17:30 46m 7s
Improve instance termination checking Juvix Compiler CI #8339: Pull request #2989 synchronize by janmasrovira
September 6, 2024 17:23 7m 32s 2882-improve-termination-checking-for-instances
2882-improve-termination-checking-for-instances
September 6, 2024 17:23 7m 32s
Improve instance termination checking Juvix Compiler CI #8338: Pull request #2989 synchronize by janmasrovira
September 6, 2024 16:13 27m 43s 2882-improve-termination-checking-for-instances
2882-improve-termination-checking-for-instances
September 6, 2024 16:13 27m 43s
Improve instance termination checking Juvix Compiler CI #8337: Pull request #2989 synchronize by janmasrovira
September 6, 2024 16:01 12m 54s 2882-improve-termination-checking-for-instances
2882-improve-termination-checking-for-instances
September 6, 2024 16:01 12m 54s
Update to GHC 9.10.1 Juvix Compiler CI #8336: Pull request #2991 synchronize by lukaszcz
September 6, 2024 15:42 5m 50s ghc-9.10.1
ghc-9.10.1
September 6, 2024 15:42 5m 50s
Compilation of side conditions in pattern matches Juvix Compiler CI #8335: Pull request #2984 synchronize by lukaszcz
September 6, 2024 12:32 45m 53s matching-side-conditions
matching-side-conditions
September 6, 2024 12:32 45m 53s
Fix a bug that prevented use of name signature defined after the poin… Juvix Compiler CI #8334: Commit 4ae4e4e pushed by lukaszcz
September 6, 2024 12:32 45m 38s main
main
September 6, 2024 12:32 45m 38s
Fix a bug that prevented use of name signature defined after the point Juvix Compiler CI #8333: Pull request #3001 synchronize by janmasrovira
September 6, 2024 11:15 45m 28s 2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
September 6, 2024 11:15 45m 28s
Fix a bug that prevented use of name signature defined after the point Juvix Compiler CI #8332: Pull request #3001 ready_for_review by janmasrovira
September 6, 2024 10:26 38m 7s 2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
September 6, 2024 10:26 38m 7s
Fix a bug that prevented use of name signature defined after the point Juvix Compiler CI #8331: Pull request #3001 synchronize by janmasrovira
September 6, 2024 10:26 12s 2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
September 6, 2024 10:26 12s
Fix a bug that prevented use of name signature defined after the point Juvix Compiler CI #8330: Pull request #3001 opened by janmasrovira
September 6, 2024 10:25 1m 22s 2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
September 6, 2024 10:25 1m 22s
Fix typechecking of default arguments in signatures with trait argume… Juvix Compiler CI #8329: Commit e45503a pushed by janmasrovira
September 6, 2024 10:19 45m 29s main
main
September 6, 2024 10:19 45m 29s
add test Juvix Compiler CI #8328: Commit bed3a44 pushed by janmasrovira
September 6, 2024 10:12 38m 44s main
main
September 6, 2024 10:12 38m 44s
Improve instance termination checking Juvix Compiler CI #8327: Pull request #2989 synchronize by janmasrovira
September 5, 2024 22:14 27m 42s 2882-improve-termination-checking-for-instances
2882-improve-termination-checking-for-instances
September 5, 2024 22:14 27m 42s
Compilation of side conditions in pattern matches Juvix Compiler CI #8326: Pull request #2984 synchronize by lukaszcz
September 5, 2024 17:46 49m 29s matching-side-conditions
matching-side-conditions
September 5, 2024 17:46 49m 29s
Update to GHC 9.10.1 Juvix Compiler CI #8325: Pull request #2991 synchronize by lukaszcz
September 5, 2024 17:43 5m 35s ghc-9.10.1
ghc-9.10.1
September 5, 2024 17:43 5m 35s
Fix typechecking of default arguments in signatures with trait argume… Juvix Compiler CI #8324: Commit e45503a pushed by lukaszcz
September 5, 2024 17:43 44m 52s main
main
September 5, 2024 17:43 44m 52s
Fix typechecking of default arguments in signatures with trait arguments Juvix Compiler CI #8323: Pull request #2998 ready_for_review by janmasrovira
September 5, 2024 15:22 46m 2s fix-indexing-name-signature
fix-indexing-name-signature
September 5, 2024 15:22 46m 2s
Fix typechecking of default arguments in signatures with trait arguments Juvix Compiler CI #8322: Pull request #2998 synchronize by janmasrovira
September 5, 2024 14:29 45m 24s fix-indexing-name-signature
fix-indexing-name-signature
September 5, 2024 14:29 45m 24s