Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ fix #3057 ] properly handle char literals in comments Sphinx #3469: Pull request #3058 opened by gallais
August 28, 2023 12:27 34s issue3057
issue3057
August 28, 2023 12:27 34s
[ fix #3057 ] properly handle char literals in comments Lint the sources #5411: Pull request #3058 opened by gallais
August 28, 2023 12:27 14s issue3057
issue3057
August 28, 2023 12:27 14s
[ fix #3057 ] properly handle char literals in comments Sphinx #3468: Commit 6fe4a07 pushed by gallais
August 28, 2023 12:25 38s issue3057
issue3057
August 28, 2023 12:25 38s
[ fix #3057 ] properly handle char literals in comments Lint Code Base #5329: Commit 6fe4a07 pushed by gallais
August 28, 2023 12:25 4m 13s issue3057
issue3057
August 28, 2023 12:25 4m 13s
[ fix #3057 ] properly handle char literals in comments Lint the sources #5410: Commit 6fe4a07 pushed by gallais
August 28, 2023 12:25 20s issue3057
issue3057
August 28, 2023 12:25 20s
[ fix #3057 ] properly handle char literals in comments Idris2 #3270: Commit 6fe4a07 pushed by gallais
August 28, 2023 12:25 1h 13m 10s issue3057
issue3057
August 28, 2023 12:25 1h 13m 10s
[ base ] Add lists' infix-by functions, complementary to existing ones Sphinx #3467: Pull request #3056 opened by buzden
August 25, 2023 09:50 37s buzden:list-infix-by
buzden:list-infix-by
August 25, 2023 09:50 37s
[ base ] Add lists' infix-by functions, complementary to existing ones Lint the sources #5409: Pull request #3056 opened by buzden
August 25, 2023 09:50 15s buzden:list-infix-by
buzden:list-infix-by
August 25, 2023 09:50 15s
[ base ] Add lists' infix-by functions, complementary to existing ones Idris2 #3269: Pull request #3056 opened by buzden
August 25, 2023 09:50 1h 19m 46s buzden:list-infix-by
buzden:list-infix-by
August 25, 2023 09:50 1h 19m 46s
[ base ] Add lists' infix-by functions, complementary to existing ones Lint Code Base #5328: Pull request #3056 opened by buzden
August 25, 2023 09:50 2m 52s buzden:list-infix-by
buzden:list-infix-by
August 25, 2023 09:50 2m 52s
pages build and deployment pages-build-deployment #309: by github-pages bot
August 23, 2023 10:47 1m 0s
August 23, 2023 10:47 1m 0s
[ prelude ] Add some lacking %tcinlines Sphinx #3466: Commit cf9a73f pushed by gallais
August 23, 2023 10:04 35s main
main
August 23, 2023 10:04 35s
[ prelude ] Add some lacking %tcinlines Idris2 #3268: Commit cf9a73f pushed by gallais
August 23, 2023 10:04 1h 7m 45s main
main
August 23, 2023 10:04 1h 7m 45s
[ prelude ] Add some lacking %tcinlines Lint the sources #5408: Commit cf9a73f pushed by gallais
August 23, 2023 10:04 17s main
main
August 23, 2023 10:04 17s
[ prelude ] Add some lacking %tcinlines Lint Code Base #5327: Commit cf9a73f pushed by gallais
August 23, 2023 10:04 2m 36s main
main
August 23, 2023 10:04 2m 36s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Lint the sources #5407: Commit ebbae42 pushed by gallais
August 23, 2023 10:04 15s main
main
August 23, 2023 10:04 15s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Idris2 #3267: Commit ebbae42 pushed by gallais
August 23, 2023 10:04 45s main
main
August 23, 2023 10:04 45s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Sphinx #3465: Commit ebbae42 pushed by gallais
August 23, 2023 10:04 46s main
main
August 23, 2023 10:04 46s
Add uncons' to base; rewrite head' and tail' in terms of uncons' Lint Code Base #5326: Commit ebbae42 pushed by gallais
August 23, 2023 10:04 2m 21s main
main
August 23, 2023 10:04 2m 21s
[ racket ] Add library loading (#3049) Lint the sources #5406: Commit 694b165 pushed by gallais
August 23, 2023 10:04 19s main
main
August 23, 2023 10:04 19s
[ racket ] Add library loading (#3049) Lint Code Base #5325: Commit 694b165 pushed by gallais
August 23, 2023 10:04 2m 24s main
main
August 23, 2023 10:04 2m 24s
[ racket ] Add library loading (#3049) Sphinx #3464: Commit 694b165 pushed by gallais
August 23, 2023 10:04 34s main
main
August 23, 2023 10:04 34s
[ racket ] Add library loading (#3049) Idris2 #3266: Commit 694b165 pushed by gallais
August 23, 2023 10:04 33s main
main
August 23, 2023 10:04 33s
pages build and deployment pages-build-deployment #308: by github-pages bot
August 23, 2023 07:48 54s
August 23, 2023 07:48 54s
[ unelab ] Properly unelaborate metavariables originating from `%sear… Lint Code Base #5324: Commit 115c9e0 pushed by gallais
August 23, 2023 07:02 2m 21s main
main
August 23, 2023 07:02 2m 21s