Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ performance ] Implement weak memoisation of lazy values for chez and racket Lint the sources #5499: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 23s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 23s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #31: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 1h 5m 1s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 1h 5m 1s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3557: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 44s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 44s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5418: Pull request #2791 synchronize by buzden
October 2, 2023 09:09 3m 3s buzden:memo-lazy
buzden:memo-lazy
October 2, 2023 09:09 3m 3s
pages build and deployment pages-build-deployment #323: by github-pages bot
October 1, 2023 07:07 59s
October 1, 2023 07:07 59s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint Code Base #5417: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 2m 18s main
main
October 1, 2023 06:16 2m 18s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Lint the sources #5498: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 11s main
main
October 1, 2023 06:16 11s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Sphinx #3556: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 35s main
main
October 1, 2023 06:16 35s
[ doc, tiny ] Correct wrong directive for unbound implicits turning off Idris2 and External Libs #30: Commit 46a2dc1 pushed by gallais
October 1, 2023 06:16 1h 14m 49s main
main
October 1, 2023 06:16 1h 14m 49s
Several small changes each not worth its own PR Lint the sources #5497: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 16s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 16s
Several small changes each not worth its own PR Lint Code Base #5416: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 2m 24s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 2m 24s
Several small changes each not worth its own PR Sphinx #3555: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 39s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 39s
Several small changes each not worth its own PR Idris2 and External Libs #29: Pull request #3081 synchronize by buzden
September 29, 2023 12:35 1h 0m 32s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 12:35 1h 0m 32s
Several small changes each not worth its own PR Idris2 and External Libs #28: Pull request #3081 opened by buzden
September 29, 2023 10:28 1h 5m 7s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 1h 5m 7s
Several small changes each not worth its own PR Lint the sources #5496: Pull request #3081 opened by buzden
September 29, 2023 10:28 17s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 17s
Several small changes each not worth its own PR Lint Code Base #5415: Pull request #3081 opened by buzden
September 29, 2023 10:28 2m 56s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 2m 56s
Several small changes each not worth its own PR Sphinx #3554: Pull request #3081 opened by buzden
September 29, 2023 10:28 37s buzden:some-small-changes
buzden:some-small-changes
September 29, 2023 10:28 37s
[ fix ] Fix Show of TTImp for functions with with clauses Lint the sources #5495: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 14s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 14s
[ fix ] Fix Show of TTImp for functions with with clauses Lint Code Base #5414: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 2m 23s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 2m 23s
[ fix ] Fix Show of TTImp for functions with with clauses Idris2 and External Libs #27: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 1h 12m 23s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 1h 12m 23s
[ fix ] Fix Show of TTImp for functions with with clauses Sphinx #3553: Pull request #2631 synchronize by buzden
September 26, 2023 11:24 37s buzden:fix-show-with-clause
buzden:fix-show-with-clause
September 26, 2023 11:24 37s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5413: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 2m 29s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 2m 29s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #26: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 1h 6m 53s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 1h 6m 53s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint the sources #5494: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 20s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 20s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3552: Pull request #2791 synchronize by buzden
September 26, 2023 11:23 44s buzden:memo-lazy
buzden:memo-lazy
September 26, 2023 11:23 44s