Skip to content

Actions: spcfox/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,118 workflow runs
3,118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tmp Idris2 and External Libs #783: Commit b79ec6f pushed by spcfox
35m 6s optimise-case-tree
optimise-case-tree
35m 6s
tmp Sphinx #774: Commit b79ec6f pushed by spcfox
32s optimise-case-tree
optimise-case-tree
32s
tmp Lint the sources #774: Commit b79ec6f pushed by spcfox
7s optimise-case-tree
optimise-case-tree
7s
tmp Lint Code Base #775: Commit b79ec6f pushed by spcfox
1m 45s optimise-case-tree
optimise-case-tree
1m 45s
tmp Idris2 and External Libs #782: Commit 20cd9f7 pushed by spcfox
40m 57s optimise-case-tree
optimise-case-tree
40m 57s
tmp Lint Code Base #774: Commit 20cd9f7 pushed by spcfox
1m 31s optimise-case-tree
optimise-case-tree
1m 31s
tmp Lint the sources #773: Commit 20cd9f7 pushed by spcfox
9s optimise-case-tree
optimise-case-tree
9s
tmp Sphinx #773: Commit 20cd9f7 pushed by spcfox
45s optimise-case-tree
optimise-case-tree
45s
[ optimise ] Union double match on one variable Sphinx #772: Commit aae7a29 pushed by spcfox
35s optimise-case-tree
optimise-case-tree
35s
[ optimise ] Union double match on one variable Idris2 and External Libs #781: Commit aae7a29 pushed by spcfox
32m 40s optimise-case-tree
optimise-case-tree
32m 40s
[ optimise ] Union double match on one variable Lint Code Base #773: Commit aae7a29 pushed by spcfox
1m 42s optimise-case-tree
optimise-case-tree
1m 42s
[ 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 Idris2 and External Libs #780: Commit 901e570 pushed by spcfox
41m 26s optimise-case-tree
optimise-case-tree
41m 26s
[ optimise ] Drop cases only with default clause Lint Code Base #772: Commit 901e570 pushed by spcfox
1m 41s optimise-case-tree
optimise-case-tree
1m 41s
[ optimise ] Drop cases only with default clause Sphinx #771: Commit 901e570 pushed by spcfox
37s optimise-case-tree
optimise-case-tree
37s
[ 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 clauses after default pattern Sphinx #770: Commit 010f4ae pushed by spcfox
31s optimise-case-tree
optimise-case-tree
31s
[ optimise ] Drop clauses after default pattern Idris2 and External Libs #779: Commit 010f4ae pushed by spcfox
40m 39s optimise-case-tree
optimise-case-tree
40m 39s
[ optimise ] Drop clauses after default pattern Lint Code Base #771: Commit 010f4ae pushed by spcfox
1m 28s optimise-case-tree
optimise-case-tree
1m 28s
[ optimise ] Drop cases with empty alternatives Lint Code Base #770: Commit 7a1181f pushed by spcfox
1m 41s optimise-case-tree
optimise-case-tree
1m 41s
[ optimise ] Drop cases with empty alternatives Idris2 and External Libs #778: Commit 7a1181f pushed by spcfox
39m 48s optimise-case-tree
optimise-case-tree
39m 48s
[ optimise ] Drop cases with empty alternatives Sphinx #769: Commit 7a1181f pushed by spcfox
44s optimise-case-tree
optimise-case-tree
44s
[ 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 Idris2 and External Libs #777: Commit d5881fd pushed by spcfox
41m 0s optimise-case-tree
optimise-case-tree
41m 0s