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

Fix typo in namespace for [bi]traversable composition Sphinx #3540: Commit f6c000e pushed by CodingCellist
September 20, 2023 07:16 38s main
main
September 20, 2023 07:16 38s
Fix typo in namespace for [bi]traversable composition Lint the sources #5482: Commit f6c000e pushed by CodingCellist
September 20, 2023 07:16 19s main
main
September 20, 2023 07:16 19s
Fix typo in namespace for [bi]traversable composition Idris2 and External Libs #14: Commit f6c000e pushed by CodingCellist
September 20, 2023 07:16 1h 10m 3s main
main
September 20, 2023 07:16 1h 10m 3s
Fix typo in namespace for [bi]traversable composition Lint Code Base #5400: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 3m 8s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 3m 8s
Fix typo in namespace for [bi]traversable composition Idris2 and External Libs #13: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 1h 6m 54s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 1h 6m 54s
Fix typo in namespace for [bi]traversable composition Lint the sources #5481: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 12s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 12s
Fix typo in namespace for [bi]traversable composition Sphinx #3539: Pull request #3078 opened by joelberkeley
September 19, 2023 17:41 32s joelberkeley:patch-1
joelberkeley:patch-1
September 19, 2023 17:41 32s
[ fix ] Make traverse and friends lazy for LazyList Idris2 and External Libs #12: Pull request #3076 opened by buzden
September 15, 2023 14:05 1h 6m 58s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 1h 6m 58s
[ fix ] Make traverse and friends lazy for LazyList Sphinx #3538: Pull request #3076 opened by buzden
September 15, 2023 14:05 33s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 33s
[ fix ] Make traverse and friends lazy for LazyList Lint the sources #5480: Pull request #3076 opened by buzden
September 15, 2023 14:05 16s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 16s
[ fix ] Make traverse and friends lazy for LazyList Lint Code Base #5399: Pull request #3076 opened by buzden
September 15, 2023 14:05 2m 23s buzden:lazy-for-for-lazy-list
buzden:lazy-for-for-lazy-list
September 15, 2023 14:05 2m 23s
pages build and deployment pages-build-deployment #317: by github-pages bot
September 15, 2023 10:41 52s
September 15, 2023 10:41 52s
[ ci ] re 3067: fix CI on main branch Idris2 and External Libs #11: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 1h 4m 14s main
main
September 15, 2023 10:05 1h 4m 14s
[ ci ] re 3067: fix CI on main branch Lint the sources #5479: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 13s main
main
September 15, 2023 10:05 13s
[ ci ] re 3067: fix CI on main branch Lint Code Base #5398: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 2m 24s main
main
September 15, 2023 10:05 2m 24s
[ ci ] re 3067: fix CI on main branch Sphinx #3537: Commit dc79c6d pushed by CodingCellist
September 15, 2023 10:05 32s main
main
September 15, 2023 10:05 32s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3536: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 35s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 35s
[ elab ] Make %runElab expressions have unrestricted quantity Lint the sources #5478: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 18s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 18s
[ elab ] Make %runElab expressions have unrestricted quantity Lint Code Base #5397: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 2m 26s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 2m 26s
[ elab ] Make %runElab expressions have unrestricted quantity Idris2 and External Libs #10: Pull request #2021 synchronize by buzden
September 15, 2023 09:13 1h 17m 8s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
September 15, 2023 09:13 1h 17m 8s
[ ci ] re #3067: fix CI on main branch Lint Code Base #5396: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 2m 27s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 2m 27s
[ ci ] re #3067: fix CI on main branch Lint the sources #5477: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 14s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 14s
[ ci ] re #3067: fix CI on main branch Sphinx #3535: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 35s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 35s
[ ci ] re #3067: fix CI on main branch Idris2 and External Libs #9: Pull request #3075 opened by CodingCellist
September 15, 2023 08:42 1h 8m 49s CodingCellist:fix-main-ci-3067
CodingCellist:fix-main-ci-3067
September 15, 2023 08:42 1h 8m 49s
pages build and deployment pages-build-deployment #316: by github-pages bot
September 14, 2023 14:16 56s
September 14, 2023 14:16 56s