Skip to content

Actions: spcfox/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yml
769 workflow runs
769 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ optimise ] Drop cases with empty alternatives Lint the sources #769: Commit 7a1181f pushed by spcfox
10s optimise-case-tree
optimise-case-tree
10s
[ optimise ] Don't match twice on one constructor Lint the sources #768: Commit d5881fd pushed by spcfox
8s optimise-case-tree
optimise-case-tree
8s
[ test ] Move case003 to idris2/casetree Lint the sources #767: Commit 54c3c10 pushed by spcfox
7s racket-ci
racket-ci
7s
[ test ] Add test for #490 Lint the sources #766: Commit 76e0206 pushed by spcfox
7s fix3687
fix3687
7s
[ refactor ] Make name in Case erased Lint the sources #765: Commit a988eca pushed by spcfox
8s optimise-case-tree
optimise-case-tree
8s
[ refactor ] Make name in Case erased Lint the sources #764: Commit 4761ea3 pushed by spcfox
8s optimise-case-tree
optimise-case-tree
8s
[ fix ] Check totality after all declarations Lint the sources #763: Commit bdc6e38 pushed by spcfox
11s fix2868
fix2868
11s
[ optimise ] Union double matching on one variable Lint the sources #762: Commit 67eafd8 pushed by spcfox
9s optimise-case-tree
optimise-case-tree
9s
[ oprimise ] Drop cases with single default alternative Lint the sources #761: Commit 8c62af4 pushed by spcfox
10s optimise-case-tree
optimise-case-tree
10s
[ optimise ] Drop cases with empty alternatives Lint the sources #760: Commit e02e11f pushed by spcfox
11s optimise-case-tree
optimise-case-tree
11s
[ refactor ] Use list of vars instead of names Lint the sources #759: Commit 3209ec2 pushed by spcfox
10s optimise-case-tree
optimise-case-tree
10s
[ fix ] Don't match twice on one constructor Lint the sources #758: Commit 9b664f1 pushed by spcfox
13s optimise-case-tree
optimise-case-tree
13s
[ comment ] Add comment to Var.Last Lint the sources #757: Commit 960cc45 pushed by spcfox
12s fix-coverage-check
fix-coverage-check
12s
[ fix ] Proper handling of builtin types in impossible cases Lint the sources #756: Commit 04f8c8c pushed by spcfox
9s fix-coverage-check
fix-coverage-check
9s
[ fix ] Support matching on Type in impossible cases Lint the sources #755: Commit 37266ee pushed by spcfox
8s fix-coverage-check
fix-coverage-check
8s
[ fix ] Check totality after all declarations Lint the sources #754: Commit b5ac351 pushed by spcfox
9s fix2868
fix2868
9s
[ fix ] Support matching on Type in impossible cases Lint the sources #753: Commit 340cb5c pushed by spcfox
10s fix-coverage-check
fix-coverage-check
10s
[ test ] Add test for #2159 Lint the sources #752: Commit feb1bc9 pushed by spcfox
9s fix-coverage-check
fix-coverage-check
9s
[ test ] Add test for #2159 Lint the sources #751: Commit b09f642 pushed by spcfox
13s fix-coverage-check
fix-coverage-check
13s
[ fix ] typo Lint the sources #750: Commit 297e757 pushed by spcfox
9s fix-coverage-check
fix-coverage-check
9s
[ fix ] Better error message for impossible case with partialy applie… Lint the sources #749: Commit 28b0fdf pushed by spcfox
9s fix-coverage-check
fix-coverage-check
9s
[ cleanup ] Simplify Impossible.mkTerm signature Lint the sources #748: Commit 80447c1 pushed by spcfox
10s fix-coverage-check
fix-coverage-check
10s
[ admin ] Update CHANGELOG Lint the sources #747: Commit 78fb63a pushed by spcfox
8s fix-coverage-check
fix-coverage-check
8s
[ admin ] Update CHANGELOG Lint the sources #746: Commit 1e3d06e pushed by spcfox
9s fix-coverage-check
fix-coverage-check
9s
[ admin ] Update CHANGELOG Lint the sources #745: Commit ad696e6 pushed by spcfox
10s fix-coverage-check
fix-coverage-check
10s