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

pages build and deployment pages-build-deployment #322: by github-pages bot
September 25, 2023 22:03 53s
September 25, 2023 22:03 53s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Lint Code Base #5412: Commit 46483fd pushed by gallais
September 25, 2023 21:25 3m 26s main
main
September 25, 2023 21:25 3m 26s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Idris2 and External Libs #25: Commit 46483fd pushed by gallais
September 25, 2023 21:25 1h 12m 56s main
main
September 25, 2023 21:25 1h 12m 56s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Lint the sources #5493: Commit 46483fd pushed by gallais
September 25, 2023 21:25 15s main
main
September 25, 2023 21:25 15s
[ fix ] support .lidr.md and .lidr.tex extensions (#3071) Sphinx #3551: Commit 46483fd pushed by gallais
September 25, 2023 21:25 32s main
main
September 25, 2023 21:25 32s
pages build and deployment pages-build-deployment #321: by github-pages bot
September 25, 2023 19:33 1m 24s
September 25, 2023 19:33 1m 24s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #3550: Commit 3886200 pushed by gallais
September 25, 2023 18:51 33s main
main
September 25, 2023 18:51 33s
[ fix ] Make traverse and friends lazy for LazyList Lint the sources #5492: Commit 3886200 pushed by gallais
September 25, 2023 18:51 19s main
main
September 25, 2023 18:51 19s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #5411: Commit 3886200 pushed by gallais
September 25, 2023 18:51 2m 31s main
main
September 25, 2023 18:51 2m 31s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #24: Commit 3886200 pushed by gallais
September 25, 2023 18:51 1h 15m 46s main
main
September 25, 2023 18:51 1h 15m 46s
[ fix ] Make traverse and friends lazy for LazyList Lint the sources #5491: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 16s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 16s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #23: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 1h 8m 57s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 1h 8m 57s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #5410: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 2m 30s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 2m 30s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #3549: Pull request #3076 synchronize by buzden
September 25, 2023 13:04 35s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 25, 2023 13:04 35s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint the sources #5490: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 17s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 17s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3548: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 34s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 34s
[ elab ] Make %macro-function be callable without the ElabReflection extension Idris2 and External Libs #22: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 1h 14m 9s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 1h 14m 9s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint Code Base #5409: Pull request #3034 synchronize by buzden
September 25, 2023 13:02 2m 28s buzden:macro-without-extension
buzden:macro-without-extension
September 25, 2023 13:02 2m 28s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5408: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 2m 56s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 2m 56s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3547: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 43s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 43s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 and External Libs #21: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 1h 4m 12s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 1h 4m 12s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint the sources #5489: Pull request #2791 synchronize by buzden
September 24, 2023 16:30 16s buzden:memo-lazy
buzden:memo-lazy
September 24, 2023 16:30 16s
pages build and deployment pages-build-deployment #320: by github-pages bot
September 23, 2023 22:36 53s
September 23, 2023 22:36 53s
[ base ] Add update functions to sorted maps Lint the sources #5488: Commit 6dc06cd pushed by gallais
September 23, 2023 21:47 14s main
main
September 23, 2023 21:47 14s
[ base ] Add update functions to sorted maps Lint Code Base #5407: Commit 6dc06cd pushed by gallais
September 23, 2023 21:47 2m 23s main
main
September 23, 2023 21:47 2m 23s