Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
326 workflow run results
326 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Erase additional PreorderReasoning arguments Sphinx #3425: Pull request #3039 opened by madman-bob
August 4, 2023 10:03 38s madman-bob:preorder-reasoning-erasure
madman-bob:preorder-reasoning-erasure
August 4, 2023 10:03 38s
Erase additional PreorderReasoning arguments Lint Code Base #5286: Pull request #3039 opened by madman-bob
August 4, 2023 10:03 2m 44s madman-bob:preorder-reasoning-erasure
madman-bob:preorder-reasoning-erasure
August 4, 2023 10:03 2m 44s
Erase additional PreorderReasoning arguments Lint the sources #5367: Pull request #3039 opened by madman-bob
August 4, 2023 10:03 12s madman-bob:preorder-reasoning-erasure
madman-bob:preorder-reasoning-erasure
August 4, 2023 10:03 12s
Erase additional PreorderReasoning arguments Idris2 #3227: Pull request #3039 opened by madman-bob
August 4, 2023 10:03 1h 5m 43s madman-bob:preorder-reasoning-erasure
madman-bob:preorder-reasoning-erasure
August 4, 2023 10:03 1h 5m 43s
[ error ] Improve error messages for Delay &co Idris2 #3226: Pull request #3037 synchronize by dunhamsteve
August 4, 2023 01:02 1h 12m 38s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 01:02 1h 12m 38s
[ error ] Improve error messages for Delay &co Lint Code Base #5285: Pull request #3037 synchronize by dunhamsteve
August 4, 2023 01:02 2m 17s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 01:02 2m 17s
[ error ] Improve error messages for Delay &co Lint the sources #5366: Pull request #3037 synchronize by dunhamsteve
August 4, 2023 01:02 16s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 01:02 16s
[ error ] Improve error messages for Delay &co Sphinx #3424: Pull request #3037 synchronize by dunhamsteve
August 4, 2023 01:02 31s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 01:02 31s
pages build and deployment pages-build-deployment #302: by github-pages bot
August 3, 2023 23:08 49s
August 3, 2023 23:08 49s
[ fix ] fix scheme002 test on windows Lint the sources #5365: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 15s main
main
August 3, 2023 22:16 15s
[ fix ] fix scheme002 test on windows Idris2 #3225: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 1h 8m 45s main
main
August 3, 2023 22:16 1h 8m 45s
[ fix ] fix scheme002 test on windows Lint Code Base #5284: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 2m 14s main
main
August 3, 2023 22:16 2m 14s
[ fix ] fix scheme002 test on windows Sphinx #3423: Commit dc43ce2 pushed by gallais
August 3, 2023 22:16 36s main
main
August 3, 2023 22:16 36s
[ fix ] Fix error handling in windows getTermLines Lint the sources #5364: Pull request #3038 opened by dunhamsteve
August 3, 2023 20:26 14s dunhamsteve:fix-win-ci
dunhamsteve:fix-win-ci
August 3, 2023 20:26 14s
[ fix ] Fix error handling in windows getTermLines Lint Code Base #5283: Pull request #3038 opened by dunhamsteve
August 3, 2023 20:26 2m 16s dunhamsteve:fix-win-ci
dunhamsteve:fix-win-ci
August 3, 2023 20:26 2m 16s
[ fix ] Fix error handling in windows getTermLines Sphinx #3422: Pull request #3038 opened by dunhamsteve
August 3, 2023 20:26 32s dunhamsteve:fix-win-ci
dunhamsteve:fix-win-ci
August 3, 2023 20:26 32s
[ fix ] Fix error handling in windows getTermLines Idris2 #3224: Pull request #3038 opened by dunhamsteve
August 3, 2023 20:26 1h 7m 0s dunhamsteve:fix-win-ci
dunhamsteve:fix-win-ci
August 3, 2023 20:26 1h 7m 0s
[ error ] Improve error messages for Delay &co Idris2 #3223: Pull request #3037 opened by dunhamsteve
August 3, 2023 18:12 1h 0m 27s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 3, 2023 18:12 1h 0m 27s
[ error ] Improve error messages for Delay &co Lint the sources #5363: Pull request #3037 opened by dunhamsteve
August 3, 2023 18:12 15s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 3, 2023 18:12 15s
[ error ] Improve error messages for Delay &co Lint Code Base #5282: Pull request #3037 opened by dunhamsteve
August 3, 2023 18:12 2m 29s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 3, 2023 18:12 2m 29s
[ error ] Improve error messages for Delay &co Sphinx #3421: Pull request #3037 opened by dunhamsteve
August 3, 2023 18:12 39s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 3, 2023 18:12 39s
[ fix ] Fix pattern match issue with function application in Refl Lint the sources #5362: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 15:14 15s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 15:14 15s
[ fix ] Fix pattern match issue with function application in Refl Idris2 #3222: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 15:14 1h 12m 15s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 15:14 1h 12m 15s
[ fix ] Fix pattern match issue with function application in Refl Sphinx #3420: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 15:14 35s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 15:14 35s
[ fix ] Fix pattern match issue with function application in Refl Lint Code Base #5281: Pull request #3027 synchronize by dunhamsteve
August 2, 2023 15:14 2m 56s dunhamsteve:pattern-match-issue
dunhamsteve:pattern-match-issue
August 2, 2023 15:14 2m 56s