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

[ fix ] Pin chez v9.5.8a in windows CI Idris2 #3233: Pull request #3040 synchronize by dunhamsteve
August 5, 2023 23:37 1h 7m 0s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:37 1h 7m 0s
[ fix ] Pin chez v9.5.8a in windows CI Sphinx #3431: Pull request #3040 synchronize by dunhamsteve
August 5, 2023 23:37 41s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:37 41s
[ fix ] Pin chez v9.5.8a in windows CI Lint the sources #5373: Pull request #3040 synchronize by dunhamsteve
August 5, 2023 23:37 12s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:37 12s
[ fix ] Pin chez v9.5.8a in windows CI Lint Code Base #5292: Pull request #3040 synchronize by dunhamsteve
August 5, 2023 23:37 2m 50s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:37 2m 50s
[ fix ] Pin chez v9.5.8a in windows CI Idris2 #3232: Pull request #3040 opened by dunhamsteve
August 5, 2023 23:25 11m 51s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:25 11m 51s
[ fix ] Pin chez v9.5.8a in windows CI Lint Code Base #5291: Pull request #3040 opened by dunhamsteve
August 5, 2023 23:25 2m 49s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:25 2m 49s
[ fix ] Pin chez v9.5.8a in windows CI Lint the sources #5372: Pull request #3040 opened by dunhamsteve
August 5, 2023 23:25 13s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:25 13s
[ fix ] Pin chez v9.5.8a in windows CI Sphinx #3430: Pull request #3040 opened by dunhamsteve
August 5, 2023 23:25 37s dunhamsteve:fix-windows-build
dunhamsteve:fix-windows-build
August 5, 2023 23:25 37s
pages build and deployment pages-build-deployment #303: by github-pages bot
August 4, 2023 13:32 59s
August 4, 2023 13:32 59s
[ fix ] Fix pattern match issue with function application in Refl (#3… Lint the sources #5371: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 10s main
main
August 4, 2023 12:46 10s
[ fix ] Fix pattern match issue with function application in Refl (#3… Idris2 #3231: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 1h 6m 6s main
main
August 4, 2023 12:46 1h 6m 6s
[ fix ] Fix pattern match issue with function application in Refl (#3… Sphinx #3429: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 29s main
main
August 4, 2023 12:46 29s
[ fix ] Fix pattern match issue with function application in Refl (#3… Lint Code Base #5290: Commit bde1a66 pushed by gallais
August 4, 2023 12:46 2m 32s main
main
August 4, 2023 12:46 2m 32s
[ error ] Improve error messages for Delay &co Idris2 #3230: Commit f0f776c pushed by gallais
August 4, 2023 12:39 6m 52s main
main
August 4, 2023 12:39 6m 52s
[ error ] Improve error messages for Delay &co Lint the sources #5370: Commit f0f776c pushed by gallais
August 4, 2023 12:39 14s main
main
August 4, 2023 12:39 14s
[ error ] Improve error messages for Delay &co Sphinx #3428: Commit f0f776c pushed by gallais
August 4, 2023 12:39 34s main
main
August 4, 2023 12:39 34s
[ error ] Improve error messages for Delay &co Lint Code Base #5289: Commit f0f776c pushed by gallais
August 4, 2023 12:39 2m 26s main
main
August 4, 2023 12:39 2m 26s
[ error ] Improve error messages for Delay &co Sphinx #3427: Pull request #3037 reopened by gallais
August 4, 2023 12:39 39s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 12:39 39s
[ error ] Improve error messages for Delay &co Lint the sources #5369: Pull request #3037 reopened by gallais
August 4, 2023 12:39 12s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 12:39 12s
[ error ] Improve error messages for Delay &co Idris2 #3229: Pull request #3037 reopened by gallais
August 4, 2023 12:39 1h 15m 56s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 12:39 1h 15m 56s
[ error ] Improve error messages for Delay &co Lint Code Base #5288: Pull request #3037 reopened by gallais
August 4, 2023 12:39 2m 56s dunhamsteve:issue-3036
dunhamsteve:issue-3036
August 4, 2023 12:39 2m 56s
Erase additional PreorderReasoning arguments Lint the sources #5368: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 18s main
main
August 4, 2023 12:37 18s
Erase additional PreorderReasoning arguments Sphinx #3426: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 39s main
main
August 4, 2023 12:37 39s
Erase additional PreorderReasoning arguments Lint Code Base #5287: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 2m 10s main
main
August 4, 2023 12:37 2m 10s
Erase additional PreorderReasoning arguments Idris2 #3228: Commit 3c61471 pushed by gallais
August 4, 2023 12:37 2m 18s main
main
August 4, 2023 12:37 2m 18s