Skip to content

Actions: anoma/juvix

Actions

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clean-up-cache.yaml
494 workflow runs
494 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix JuvixTree unification cleanup caches by a branch #676: Pull request #3087 closed by lukaszcz
October 9, 2024 13:33 18s juvix-tree-crash
juvix-tree-crash
October 9, 2024 13:33 18s
Avoid duplication in Nockma code generation cleanup caches by a branch #675: Pull request #3070 closed by lukaszcz
October 8, 2024 08:05 21s nockma-no-duplication
nockma-no-duplication
October 8, 2024 08:05 21s
Add coding style guidelines cleanup caches by a branch #674: Pull request #3059 closed by lukaszcz
October 7, 2024 14:49 17s coding-style
coding-style
October 7, 2024 14:49 17s
Nockma backend: translate trace to %puts hints cleanup caches by a branch #673: Pull request #3053 closed by lukaszcz
October 7, 2024 12:01 16s nock-trace-hint
nock-trace-hint
October 7, 2024 12:01 16s
Fix named application bug cleanup caches by a branch #672: Pull request #3075 closed by paulcadman
October 3, 2024 15:27 13s 3074-crash-related-to-missing-name-in-name-signature
3074-crash-related-to-missing-name-in-name-signature
October 3, 2024 15:27 13s
Merge typechecker negative tests cleanup caches by a branch #671: Pull request #3076 closed by lukaszcz
October 3, 2024 08:02 13s enable-negative-tests
enable-negative-tests
October 3, 2024 08:02 13s
Fix termination crash due to empty permutation cleanup caches by a branch #670: Pull request #3081 closed by lukaszcz
October 2, 2024 16:59 11s fix-termination-crash
fix-termination-crash
October 2, 2024 16:59 11s
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
Remove unused field from ScoperState cleanup caches by a branch #668: Pull request #3073 closed by janmasrovira
September 30, 2024 17:28 15s remove-unused-field
remove-unused-field
September 30, 2024 17:28 15s
Ignore files that start with a . cleanup caches by a branch #667: Pull request #3072 closed by janmasrovira
September 30, 2024 10:17 22s ignore-dot-files
ignore-dot-files
September 30, 2024 10:17 22s
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
Parse stdlibPlaceholder in Nockma parser cleanup caches by a branch #665: Pull request #3065 closed by lukaszcz
September 26, 2024 12:38 12s nockma-nil-placeholder
nockma-nil-placeholder
September 26, 2024 12:38 12s
Fix RISC0 on the CI cleanup caches by a branch #664: Pull request #3061 closed by lukaszcz
September 26, 2024 11:30 15s fix-risc0
fix-risc0
September 26, 2024 11:30 15s
Group tables related to typechecking cleanup caches by a branch #663: Pull request #3056 closed by lukaszcz
September 25, 2024 16:28 12s refactor-result-builder
refactor-result-builder
September 25, 2024 16:28 12s
Fix linux static build: Remove -j argument from C runtime make invocation cleanup caches by a branch #662: Pull request #3055 closed by lukaszcz
September 23, 2024 08:42 17s fix-linux-static-build-ci
fix-linux-static-build-ci
September 23, 2024 08:42 17s
Improve parsing error for missing @ in named application cleanup caches by a branch #661: Pull request #3012 closed by paulcadman
September 20, 2024 17:00 14s better-error-missing-at
better-error-missing-at
September 20, 2024 17:00 14s
Revert GHC 9.10.1 update cleanup caches by a branch #660: Pull request #3052 closed by paulcadman
September 19, 2024 20:02 12s revert-ghc-9.10.1
revert-ghc-9.10.1
September 19, 2024 20:02 12s
Precompute debug operations info in linear time cleanup caches by a branch #659: Pull request #3038 closed by janmasrovira
September 14, 2024 06:53 11s linear-check-debug-ops
linear-check-debug-ops
September 14, 2024 06:53 11s
Update cabal.project.freeze for GHC 9.10.1 update cleanup caches by a branch #658: Pull request #3035 closed by paulcadman
September 13, 2024 18:50 15s cabal-freeze-update
cabal-freeze-update
September 13, 2024 18:50 15s
Don't fold lets if the let-bound variable occurs under a lambda-abstraction cleanup caches by a branch #657: Pull request #3029 closed by lukaszcz
September 13, 2024 17:29 16s fix-let-folding
fix-let-folding
September 13, 2024 17:29 16s
Update linux static binary workflow for GHC 9.10.1 cleanup caches by a branch #656: Pull request #3034 closed by lukaszcz
September 13, 2024 15:52 15s update-linux-static-binary-workflow
update-linux-static-binary-workflow
September 13, 2024 15:52 15s
Update to GHC 9.10.1 cleanup caches by a branch #655: Pull request #2991 closed by lukaszcz
September 13, 2024 13:26 16s ghc-9.10.1
ghc-9.10.1
September 13, 2024 13:26 16s
Remove old named application syntax cleanup caches by a branch #654: Pull request #3026 closed by janmasrovira
September 12, 2024 17:27 17s 2948-remove-old-named-application-syntax
2948-remove-old-named-application-syntax
September 12, 2024 17:27 17s
Fix JuvixTree parsing and pretty printing cleanup caches by a branch #653: Pull request #3024 closed by janmasrovira
September 12, 2024 12:37 16s fix-tree-read-write
fix-tree-read-write
September 12, 2024 12:37 16s
Fix RISC0 in the CI cleanup caches by a branch #652: Pull request #3025 closed by janmasrovira
September 12, 2024 10:29 15s fix-risc0-ci
fix-risc0-ci
September 12, 2024 10:29 15s