Skip to content

Actions: spcfox/Idris2

Actions

Lint the sources

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ cleanup ] Add maybeEq for DecEq Lint the sources #784: Commit 3226702 pushed by spcfox
11s refactor-case-builder
refactor-case-builder
11s
[ refactor ] Use ConTag for represetaion constructor in case tree Lint the sources #783: Commit 20bffdf pushed by spcfox
8s refactor-case-builder
refactor-case-builder
8s
[ bump, docs ] Use fresh upstream lib instead of the buggy one Lint the sources #782: Commit 95333b3 pushed by spcfox
8s main
main
8s
[ refactor ] Use ConTag for replesetaion constructor in case tree Lint the sources #781: Commit e24d34c pushed by spcfox
8s optimise-case-tree
optimise-case-tree
8s
[ cleanup ] Simplify optimiser using mcons Lint the sources #780: Commit cae6f37 pushed by spcfox
9s optimise-case-tree
optimise-case-tree
9s
[ optimise ] Union double matching on one variable Lint the sources #779: Commit 97d07c8 pushed by spcfox
8s optimise-case-tree
optimise-case-tree
8s
[ optimise ] Use negative information during case tree simplification Lint the sources #778: Commit 9183464 pushed by spcfox
8s optimise-case-tree
optimise-case-tree
8s
[ WIP ] Use negative information during case tree simplification Lint the sources #777: Commit 8a27925 pushed by spcfox
7s optimise-case-tree
optimise-case-tree
7s
[ WIP ] Use negative information during case tree simplification Lint the sources #776: Commit 3deb4b8 pushed by spcfox
7s optimise-case-tree
optimise-case-tree
7s
[ optimise ] Drop cases only with default clause Lint the sources #775: Commit 901e570 pushed by spcfox
7s optimise-case-tree
optimise-case-tree
7s
tmp Lint the sources #774: Commit b79ec6f pushed by spcfox
7s optimise-case-tree
optimise-case-tree
7s
tmp Lint the sources #773: Commit 20cd9f7 pushed by spcfox
9s optimise-case-tree
optimise-case-tree
9s
[ optimise ] Union double match on one variable Lint the sources #772: Commit aae7a29 pushed by spcfox
7s optimise-case-tree
optimise-case-tree
7s
[ optimise ] Drop cases only with default clause Lint the sources #771: Commit 901e570 pushed by spcfox
11s optimise-case-tree
optimise-case-tree
11s
[ optimise ] Drop clauses after default pattern Lint the sources #770: Commit 010f4ae pushed by spcfox
6s optimise-case-tree
optimise-case-tree
6s
[ 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