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

[ impl ] Support default implicits in named implementations (#3100) Lint Code Base #5461: Commit 419a440 pushed by gallais
October 13, 2023 14:26 2m 31s main
main
October 13, 2023 14:26 2m 31s
[ impl ] Support default implicits in named implementations (#3100) Sphinx #3600: Commit 419a440 pushed by gallais
October 13, 2023 14:26 37s main
main
October 13, 2023 14:26 37s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Sphinx #3599: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 44s main
main
October 13, 2023 14:26 44s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Lint Code Base #5460: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 2m 46s main
main
October 13, 2023 14:26 2m 46s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Lint the sources #5541: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 19s main
main
October 13, 2023 14:26 19s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to `fo… Idris2 and External Libs #71: Commit f2a9507 pushed by gallais
October 13, 2023 14:26 31s main
main
October 13, 2023 14:26 31s
pages build and deployment pages-build-deployment #328: by github-pages bot
October 13, 2023 13:35 52s
October 13, 2023 13:35 52s
[ new ] add Data.List.grouped function (#3089) Lint Code Base #5459: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 2m 47s main
main
October 13, 2023 12:48 2m 47s
[ new ] add Data.List.grouped function (#3089) Lint the sources #5540: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 14s main
main
October 13, 2023 12:48 14s
[ new ] add Data.List.grouped function (#3089) Idris2 and External Libs #70: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 1h 13m 0s main
main
October 13, 2023 12:48 1h 13m 0s
[ new ] add Data.List.grouped function (#3089) Sphinx #3598: Commit 7fbbb03 pushed by gallais
October 13, 2023 12:48 35s main
main
October 13, 2023 12:48 35s
[ base ] Add a bridge between MonadState and Ref Lint Code Base #5458: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 2m 25s main
main
October 13, 2023 12:47 2m 25s
[ base ] Add a bridge between MonadState and Ref Idris2 and External Libs #69: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 1m 14s main
main
October 13, 2023 12:47 1m 14s
[ base ] Add a bridge between MonadState and Ref Lint the sources #5539: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 14s main
main
October 13, 2023 12:47 14s
[ base ] Add a bridge between MonadState and Ref Sphinx #3597: Commit f7d4b7f pushed by gallais
October 13, 2023 12:47 37s main
main
October 13, 2023 12:47 37s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Idris2 and External Libs #68: Pull request #3096 synchronize by gallais
October 13, 2023 12:45 1h 16m 20s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 13, 2023 12:45 1h 16m 20s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Lint the sources #5538: Pull request #3096 synchronize by gallais
October 13, 2023 12:45 18s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 13, 2023 12:45 18s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Lint Code Base #5457: Pull request #3096 synchronize by gallais
October 13, 2023 12:45 3m 5s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 13, 2023 12:45 3m 5s
[ base ] Add Data.Vect.Quantifiers.All.remember, the inverse to forget Sphinx #3596: Pull request #3096 synchronize by gallais
October 13, 2023 12:45 42s 0xd34df00d:vect-unforget
0xd34df00d:vect-unforget
October 13, 2023 12:45 42s
[ impl ] Support default implicits in named implementations Idris2 and External Libs #67: Pull request #3100 synchronize by gallais
October 13, 2023 12:43 1h 8m 42s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 13, 2023 12:43 1h 8m 42s
[ impl ] Support default implicits in named implementations Lint Code Base #5456: Pull request #3100 synchronize by gallais
October 13, 2023 12:43 3m 7s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 13, 2023 12:43 3m 7s
[ impl ] Support default implicits in named implementations Sphinx #3595: Pull request #3100 synchronize by gallais
October 13, 2023 12:43 32s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 13, 2023 12:43 32s
[ impl ] Support default implicits in named implementations Lint the sources #5537: Pull request #3100 synchronize by gallais
October 13, 2023 12:43 16s buzden:default-implicits-in-named-implementations
buzden:default-implicits-in-named-implementations
October 13, 2023 12:43 16s
[ elab ] Implement file operations, e.g. applicable for type providers Idris2 and External Libs #66: Commit 6815aef pushed by gallais
October 13, 2023 12:26 21m 10s main
main
October 13, 2023 12:26 21m 10s
[ elab ] Implement file operations, e.g. applicable for type providers Lint Code Base #5455: Commit 6815aef pushed by gallais
October 13, 2023 12:26 2m 30s main
main
October 13, 2023 12:26 2m 30s