Skip to content

Actions: anoma/juvix

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Include the juvix version in the build directory path (#3069) Juvix Compiler CI #8529: Commit 6e58aad pushed by paulcadman
September 30, 2024 07:57 47m 32s main
main
September 30, 2024 07:57 47m 32s
Include the juvix version in the build directory path cleanup caches by a branch #666: Pull request #3069 closed by paulcadman
September 30, 2024 07:57 13s version-build-directory
version-build-directory
September 30, 2024 07:57 13s
Reimplement positivity checker Juvix Compiler CI #8528: Pull request #3057 synchronize by janmasrovira
September 30, 2024 07:51 13m 11s fix-positivity-bug
fix-positivity-bug
September 30, 2024 07:51 13m 11s
Reimplement positivity checker Juvix Compiler CI #8527: Pull request #3057 ready_for_review by janmasrovira
September 30, 2024 07:48 3m 48s fix-positivity-bug
fix-positivity-bug
September 30, 2024 07:48 3m 48s
Reimplement positivity checker Juvix Compiler CI #8526: Pull request #3057 synchronize by janmasrovira
September 30, 2024 07:41 7m 3s fix-positivity-bug
fix-positivity-bug
September 30, 2024 07:41 7m 3s
Reimplement positivity checker Juvix Compiler CI #8525: Pull request #3057 synchronize by janmasrovira
September 30, 2024 07:38 2m 57s fix-positivity-bug
fix-positivity-bug
September 30, 2024 07:38 2m 57s
Reimplement positivity checker Juvix Compiler CI #8524: Pull request #3057 synchronize by janmasrovira
September 28, 2024 11:13 49m 58s fix-positivity-bug
fix-positivity-bug
September 28, 2024 11:13 49m 58s
Ignore files that start with a . Juvix Compiler CI #8523: Pull request #3072 opened by janmasrovira
September 28, 2024 11:12 49m 26s ignore-dot-files
ignore-dot-files
September 28, 2024 11:12 49m 26s
Reimplement positivity checker Juvix Compiler CI #8522: Pull request #3057 synchronize by janmasrovira
September 28, 2024 10:23 47m 16s fix-positivity-bug
fix-positivity-bug
September 28, 2024 10:23 47m 16s
Reimplement positivity checker Juvix Compiler CI #8521: Pull request #3057 synchronize by janmasrovira
September 28, 2024 09:09 39m 47s fix-positivity-bug
fix-positivity-bug
September 28, 2024 09:09 39m 47s
Reimplement positivity checker Juvix Compiler CI #8520: Pull request #3057 synchronize by janmasrovira
September 28, 2024 06:56 39m 10s fix-positivity-bug
fix-positivity-bug
September 28, 2024 06:56 39m 10s
Reimplement positivity checker Juvix Compiler CI #8519: Pull request #3057 synchronize by janmasrovira
September 28, 2024 06:38 18m 17s fix-positivity-bug
fix-positivity-bug
September 28, 2024 06:38 18m 17s
Reimplement positivity checker Juvix Compiler CI #8518: Pull request #3057 synchronize by janmasrovira
September 28, 2024 06:23 15m 29s fix-positivity-bug
fix-positivity-bug
September 28, 2024 06:23 15m 29s
Reimplement positivity checker Juvix Compiler CI #8517: Pull request #3057 synchronize by janmasrovira
September 27, 2024 21:46 41m 41s fix-positivity-bug
fix-positivity-bug
September 27, 2024 21:46 41m 41s
Reimplement positivity checker Juvix Compiler CI #8516: Pull request #3057 synchronize by janmasrovira
September 27, 2024 21:36 10m 6s fix-positivity-bug
fix-positivity-bug
September 27, 2024 21:36 10m 6s
Reimplement positivity checker Juvix Compiler CI #8515: Pull request #3057 synchronize by janmasrovira
September 27, 2024 21:08 11m 59s fix-positivity-bug
fix-positivity-bug
September 27, 2024 21:08 11m 59s
Avoid duplication in Nockma code generation Juvix Compiler CI #8514: Pull request #3070 synchronize by lukaszcz
September 27, 2024 20:49 39m 59s nockma-no-duplication
nockma-no-duplication
September 27, 2024 20:49 39m 59s
Avoid duplication in Nockma code generation Juvix Compiler CI #8513: Pull request #3070 opened by lukaszcz
September 27, 2024 20:49 31s nockma-no-duplication
nockma-no-duplication
September 27, 2024 20:49 31s
Reimplement positivity checker Juvix Compiler CI #8512: Pull request #3057 synchronize by janmasrovira
September 27, 2024 19:18 39m 27s fix-positivity-bug
fix-positivity-bug
September 27, 2024 19:18 39m 27s
Reimplement positivity checker Juvix Compiler CI #8511: Pull request #3057 synchronize by janmasrovira
September 27, 2024 17:43 11m 49s fix-positivity-bug
fix-positivity-bug
September 27, 2024 17:43 11m 49s
Reimplement positivity checker Juvix Compiler CI #8510: Pull request #3057 synchronize by janmasrovira
September 27, 2024 17:33 10m 13s fix-positivity-bug
fix-positivity-bug
September 27, 2024 17:33 10m 13s
Reimplement positivity checker Juvix Compiler CI #8509: Pull request #3057 synchronize by janmasrovira
September 27, 2024 17:33 57s fix-positivity-bug
fix-positivity-bug
September 27, 2024 17:33 57s
Include the juvix version in the build directory path Juvix Compiler CI #8508: Pull request #3069 ready_for_review by paulcadman
September 27, 2024 17:22 49m 3s version-build-directory
version-build-directory
September 27, 2024 17:22 49m 3s
Include the juvix version in the build directory path Juvix Compiler CI #8507: Pull request #3069 synchronize by paulcadman
September 27, 2024 17:21 49s version-build-directory
version-build-directory
September 27, 2024 17:21 49s
Include the juvix version in the build directory path Juvix Compiler CI #8506: Pull request #3069 synchronize by paulcadman
September 27, 2024 16:55 26m 31s version-build-directory
version-build-directory
September 27, 2024 16:55 26m 31s