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
211 workflow run results
211 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve formatting of function definition arguments cleanup caches by a branch #376: Pull request #2551 closed by paulcadman
December 7, 2023 10:26 23s 2534-improve-the-formatting-of-type-signatures
2534-improve-the-formatting-of-type-signatures
December 7, 2023 10:26 23s
Implement wildcard constructor cleanup caches by a branch #375: Pull request #2550 closed by paulcadman
December 7, 2023 09:12 14s implement-wildcard-constructor
implement-wildcard-constructor
December 7, 2023 09:12 14s
Read Package on demand and cache it cleanup caches by a branch #374: Pull request #2548 closed by janmasrovira
December 6, 2023 17:25 17s read-package-only-when-needed
read-package-only-when-needed
December 6, 2023 17:25 17s
Bump up version to v0.5.5 cleanup caches by a branch #373: Pull request #2547 closed by jonaprieto
December 1, 2023 19:48 19s release0.5.5
release0.5.5
December 1, 2023 19:48 19s
Add Makefile to hyperfine benchmarks cleanup caches by a branch #372: Pull request #2533 closed by jonaprieto
December 1, 2023 17:39 17s hyperfine-tests
hyperfine-tests
December 1, 2023 17:39 17s
Remove old typechecker cleanup caches by a branch #371: Pull request #2545 closed by janmasrovira
December 1, 2023 15:50 18s remove-old-typechecker
remove-old-typechecker
December 1, 2023 15:50 18s
Update to the latest juvix-stdlib cleanup caches by a branch #370: Pull request #2546 closed by jonaprieto
December 1, 2023 14:12 14s update-stdlib-ref
update-stdlib-ref
December 1, 2023 14:12 14s
Add dependent defaults for the new typechecker cleanup caches by a branch #369: Pull request #2541 closed by jonaprieto
November 30, 2023 18:17 18s dependent-defaults-new-algorithm
dependent-defaults-new-algorithm
November 30, 2023 18:17 18s
Extract builtin definitions for loading a Package into bundled package-base package cleanup caches by a branch #368: Pull request #2535 closed by paulcadman
November 30, 2023 16:22 15s package-base-split
package-base-split
November 30, 2023 16:22 15s
Add new case for positivity checker: type cannot occur as arg of bound var cleanup caches by a branch #367: Pull request #2542 closed by jonaprieto
November 30, 2023 14:03 20s update-positivity
update-positivity
November 30, 2023 14:03 20s
Negative tests for --new-typechecker cleanup caches by a branch #366: Pull request #2532 closed by paulcadman
November 28, 2023 17:24 14s negative-tests-new-algorithm
negative-tests-new-algorithm
November 28, 2023 17:24 14s
Fix: remove ErrArity from Typechecking errors cleanup caches by a branch #365: Pull request #2543 closed by jonaprieto
November 28, 2023 17:22 16s remove-err-arity
remove-err-arity
November 28, 2023 17:22 16s
Improve inference for --new-typechecker cleanup caches by a branch #364: Pull request #2524 closed by janmasrovira
November 28, 2023 15:43 17s improve-inference
improve-inference
November 28, 2023 15:43 17s
Fix codeblocks indentation in Markdown output cleanup caches by a branch #363: Pull request #2539 closed by jonaprieto
November 27, 2023 12:22 19s fix-code-blocks
fix-code-blocks
November 27, 2023 12:22 19s
runtime Makefile: Do not resolve variables when writing a dependency file cleanup caches by a branch #362: Pull request #2538 closed by lukaszcz
November 27, 2023 09:14 15s runtime-makefile-deps-change
runtime-makefile-deps-change
November 27, 2023 09:14 15s
Fix location for aliases cleanup caches by a branch #361: Pull request #2536 closed by jonaprieto
November 24, 2023 18:06 15s 2531-wrong-go-to-location-for-aliases
2531-wrong-go-to-location-for-aliases
November 24, 2023 18:06 15s
Add non-dependent default values to the new typechecking algorithm cleanup caches by a branch #360: Pull request #2516 closed by janmasrovira
November 23, 2023 10:43 17s new-algorithm-default-values
new-algorithm-default-values
November 23, 2023 10:43 17s
Update the Juvix lock file when the Package file changes cleanup caches by a branch #359: Pull request #2522 closed by jonaprieto
November 22, 2023 22:21 17s lockfile-auto-update
lockfile-auto-update
November 22, 2023 22:21 17s
Fix the global 'package' package so that modules within it can be type-checked independently cleanup caches by a branch #358: Pull request #2526 closed by paulcadman
November 21, 2023 15:20 19s make-package-package-a-package
make-package-package-a-package
November 21, 2023 15:20 19s
Release 0.5.4 cleanup caches by a branch #357: Pull request #2523 closed by paulcadman
November 17, 2023 16:47 16s release-0.5.4
release-0.5.4
November 17, 2023 16:47 16s
Fix check for module name for Orphan Juvix files and imports of Juvix Markdown files cleanup caches by a branch #356: Pull request #2512 closed by jonaprieto
November 17, 2023 15:10 21s fix-wrong-top-modulename
fix-wrong-top-modulename
November 17, 2023 15:10 21s
Run test suite in parallel cleanup caches by a branch #355: Pull request #2507 closed by janmasrovira
November 16, 2023 15:19 29s parallel-fast-tests
parallel-fast-tests
November 16, 2023 15:19 29s
Add MarkdownInfo entry in Module Concrete Decl and proper errors cleanup caches by a branch #354: Pull request #2515 closed by jonaprieto
November 16, 2023 10:20 16s refactor-markdown
refactor-markdown
November 16, 2023 10:20 16s
General inductive parameters cleanup caches by a branch #353: Pull request #2506 closed by jonaprieto
November 15, 2023 09:24 19s inductive-parameters-2
inductive-parameters-2
November 15, 2023 09:24 19s
Add PackageDescription.Basic module Package variant cleanup caches by a branch #352: Pull request #2509 closed by paulcadman
November 13, 2023 17:36 21s basic-package
basic-package
November 13, 2023 17:36 21s