Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,041 workflow run results
1,041 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #332: by github-pages bot
October 16, 2023 22:23 48s
October 16, 2023 22:23 48s
[ base ] Implement Zippable for several standard types + small cleanup Idris2 and External Libs #83: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 1h 12m 52s main
main
October 16, 2023 21:41 1h 12m 52s
[ base ] Implement Zippable for several standard types + small cleanup Lint Code Base #5472: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 2m 30s main
main
October 16, 2023 21:41 2m 30s
[ base ] Implement Zippable for several standard types + small cleanup Sphinx #3611: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 34s main
main
October 16, 2023 21:41 34s
[ base ] Implement Zippable for several standard types + small cleanup Lint the sources #5553: Commit 2358a74 pushed by gallais
October 16, 2023 21:41 16s main
main
October 16, 2023 21:41 16s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3610: Pull request #2791 synchronize by buzden
October 16, 2023 17:45 35s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 17:45 35s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #82: Pull request #2791 synchronize by buzden
October 16, 2023 17:45 1h 14m 46s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 17:45 1h 14m 46s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5471: Pull request #2791 synchronize by buzden
October 16, 2023 17:45 2m 51s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 17:45 2m 51s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint the sources #5552: Pull request #2791 synchronize by buzden
October 16, 2023 17:45 17s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 17:45 17s
[ base ] Implement Zippable for several standard types + small cleanup Lint Code Base #5470: Pull request #3106 opened by buzden
October 16, 2023 17:32 3m 4s buzden:lacking-zippables
buzden:lacking-zippables
October 16, 2023 17:32 3m 4s
[ base ] Implement Zippable for several standard types + small cleanup Sphinx #3609: Pull request #3106 opened by buzden
October 16, 2023 17:32 40s buzden:lacking-zippables
buzden:lacking-zippables
October 16, 2023 17:32 40s
[ base ] Implement Zippable for several standard types + small cleanup Idris2 and External Libs #81: Pull request #3106 opened by buzden
October 16, 2023 17:32 1h 12m 34s buzden:lacking-zippables
buzden:lacking-zippables
October 16, 2023 17:32 1h 12m 34s
[ base ] Implement Zippable for several standard types + small cleanup Lint the sources #5551: Pull request #3106 opened by buzden
October 16, 2023 17:32 18s buzden:lacking-zippables
buzden:lacking-zippables
October 16, 2023 17:32 18s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5469: Pull request #2791 synchronize by buzden
October 16, 2023 12:34 2m 27s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 12:34 2m 27s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3608: Pull request #2791 synchronize by buzden
October 16, 2023 12:34 42s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 12:34 42s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint the sources #5550: Pull request #2791 synchronize by buzden
October 16, 2023 12:34 21s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 12:34 21s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #80: Pull request #2791 synchronize by buzden
October 16, 2023 12:34 1h 18m 10s buzden:memo-lazy
buzden:memo-lazy
October 16, 2023 12:34 1h 18m 10s
pages build and deployment pages-build-deployment #331: by github-pages bot
October 16, 2023 09:36 1m 3s
October 16, 2023 09:36 1m 3s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Idris2 and External Libs #79: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 1h 17m 30s main
main
October 16, 2023 08:49 1h 17m 30s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Sphinx #3607: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 30s main
main
October 16, 2023 08:49 30s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Lint the sources #5549: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 18s main
main
October 16, 2023 08:49 18s
[ base ] Relevant and irrelevant traversals for Data.Vect.Quantifiers… Lint Code Base #5468: Commit 7c8076c pushed by gallais
October 16, 2023 08:49 2m 23s main
main
October 16, 2023 08:49 2m 23s
[ fix ] Prevent relative path traversal in elaborator scripts Sphinx #3606: Commit 3e5d8a5 pushed by gallais
October 16, 2023 08:43 35s main
main
October 16, 2023 08:43 35s
[ fix ] Prevent relative path traversal in elaborator scripts Idris2 and External Libs #78: Commit 3e5d8a5 pushed by gallais
October 16, 2023 08:43 6m 27s main
main
October 16, 2023 08:43 6m 27s
[ fix ] Prevent relative path traversal in elaborator scripts Lint the sources #5548: Commit 3e5d8a5 pushed by gallais
October 16, 2023 08:43 22s main
main
October 16, 2023 08:43 22s