Skip to content

Actions: spcfox/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ admin ] Update CHANGELOG Idris2 and External Libs #756: Commit 78fb63a pushed by spcfox
41m 4s fix-coverage-check
fix-coverage-check
41m 4s
[ admin ] Update CHANGELOG Lint Code Base #748: Commit 78fb63a pushed by spcfox
1m 37s fix-coverage-check
fix-coverage-check
1m 37s
[ admin ] Update CHANGELOG Sphinx #747: Commit 78fb63a pushed by spcfox
46s fix-coverage-check
fix-coverage-check
46s
[ 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 Idris2 and External Libs #755: Commit 1e3d06e pushed by spcfox
40m 53s fix-coverage-check
fix-coverage-check
40m 53s
[ admin ] Update CHANGELOG Sphinx #746: Commit 1e3d06e pushed by spcfox
28s fix-coverage-check
fix-coverage-check
28s
[ admin ] Update CHANGELOG Lint Code Base #747: Commit 1e3d06e pushed by spcfox
1m 36s fix-coverage-check
fix-coverage-check
1m 36s
[ admin ] Update CHANGELOG Lint Code Base #746: Commit ad696e6 pushed by spcfox
1m 43s fix-coverage-check
fix-coverage-check
1m 43s
[ admin ] Update CHANGELOG Lint the sources #745: Commit ad696e6 pushed by spcfox
10s fix-coverage-check
fix-coverage-check
10s
[ admin ] Update CHANGELOG Sphinx #745: Commit ad696e6 pushed by spcfox
29s fix-coverage-check
fix-coverage-check
29s
[ fix ] Resugar term in error message for bad impossible pattern Idris2 and External Libs #754: Commit d4e99f9 pushed by spcfox
37m 24s fix-coverage-check
fix-coverage-check
37m 24s
[ fix ] Resugar term in error message for bad impossible pattern Sphinx #744: Commit d4e99f9 pushed by spcfox
27s fix-coverage-check
fix-coverage-check
27s
[ fix ] Resugar term in error message for bad impossible pattern Lint Code Base #745: Commit d4e99f9 pushed by spcfox
1m 40s fix-coverage-check
fix-coverage-check
1m 40s
[ fix ] Resugar term in error message for bad impossible pattern Lint the sources #744: Commit d4e99f9 pushed by spcfox
10s fix-coverage-check
fix-coverage-check
10s
[ fix ] Drop redundant arguments when generating impossible cases Idris2 and External Libs #753: Commit 8a71a70 pushed by spcfox
39m 8s fix-coverage-check
fix-coverage-check
39m 8s
[ fix ] Drop redundant arguments when generating impossible cases Lint Code Base #744: Commit 8a71a70 pushed by spcfox
1m 37s fix-coverage-check
fix-coverage-check
1m 37s
[ fix ] Drop redundant arguments when generating impossible cases Sphinx #743: Commit 8a71a70 pushed by spcfox
24s fix-coverage-check
fix-coverage-check
24s
[ fix ] Drop redundant arguments when generating impossible cases Lint the sources #743: Commit 8a71a70 pushed by spcfox
8s fix-coverage-check
fix-coverage-check
8s
[ fix ] Reject unhandled terms in impossible case Idris2 and External Libs #752: Commit 4abe12c pushed by spcfox
39m 29s fix-coverage-check
fix-coverage-check
39m 29s
[ fix ] Reject unhandled terms in impossible case Lint Code Base #743: Commit 4abe12c pushed by spcfox
1m 51s fix-coverage-check
fix-coverage-check
1m 51s
[ fix ] Reject unhandled terms in impossible case Lint the sources #742: Commit 4abe12c pushed by spcfox
10s fix-coverage-check
fix-coverage-check
10s
[ fix ] Reject unhandled terms in impossible case Sphinx #742: Commit 4abe12c pushed by spcfox
25s fix-coverage-check
fix-coverage-check
25s
[ fix ] Reject unhandled terms in impossible case Bootstrap #10: Commit 4abe12c pushed by spcfox
Queued fix-coverage-check-experim
fix-coverage-check-experim
Queued
[ fix ] Reject unhandled terms in impossible case Lint the sources #741: Commit 4abe12c pushed by spcfox
10s fix-coverage-check-experim
fix-coverage-check-experim
10s