Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,687 workflow run results
3,687 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

expose ipkg json dump as new option Idris2 and External Libs #658: Commit 7113949 pushed by mattpolzin
June 2, 2024 20:40 24m 2s package-json
package-json
June 2, 2024 20:40 24m 2s
[ fixup #2939 ] Make futures not interfere with optimisations Idris2 and External Libs #657: Pull request #3292 opened by buzden
May 31, 2024 12:32 38m 51s buzden:fixup-force-and-future
buzden:fixup-force-and-future
May 31, 2024 12:32 38m 51s
[ fixup #2939 ] Make futures not interfere with optimisations Lint the sources #6211: Pull request #3292 opened by buzden
May 31, 2024 12:32 14s buzden:fixup-force-and-future
buzden:fixup-force-and-future
May 31, 2024 12:32 14s
[ fixup #2939 ] Make futures not interfere with optimisations Sphinx #4269: Pull request #3292 opened by buzden
May 31, 2024 12:32 29s buzden:fixup-force-and-future
buzden:fixup-force-and-future
May 31, 2024 12:32 29s
[ fixup #2939 ] Make futures not interfere with optimisations Lint Code Base #6130: Pull request #3292 opened by buzden
May 31, 2024 12:32 2m 9s buzden:fixup-force-and-future
buzden:fixup-force-and-future
May 31, 2024 12:32 2m 9s
[ elab ] Make %runElab expressions have unrestricted quantity Idris2 and External Libs #656: Pull request #2021 synchronize by buzden
May 31, 2024 11:12 41m 3s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
May 31, 2024 11:12 41m 3s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #4268: Pull request #2021 synchronize by buzden
May 31, 2024 11:12 30s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
May 31, 2024 11:12 30s
[ elab ] Make %runElab expressions have unrestricted quantity Lint the sources #6210: Pull request #2021 synchronize by buzden
May 31, 2024 11:12 4m 16s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
May 31, 2024 11:12 4m 16s
[ elab ] Make %runElab expressions have unrestricted quantity Lint Code Base #6129: Pull request #2021 synchronize by buzden
May 31, 2024 11:12 1m 59s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
May 31, 2024 11:12 1m 59s
pages build and deployment pages-build-deployment #417: by github-pages bot
May 31, 2024 09:46 2m 49s
May 31, 2024 09:46 2m 49s
Updated CHANGELOG_NEXT.md Lint the sources #6209: Commit 10b0cc3 pushed by mjustus
May 31, 2024 09:22 20s main
main
May 31, 2024 09:22 20s
Updated CHANGELOG_NEXT.md Sphinx #4267: Commit 10b0cc3 pushed by mjustus
May 31, 2024 09:22 48s main
main
May 31, 2024 09:22 48s
Updated CHANGELOG_NEXT.md Idris2 and External Libs #655: Commit 10b0cc3 pushed by mjustus
May 31, 2024 09:22 40m 20s main
main
May 31, 2024 09:22 40m 20s
Updated CHANGELOG_NEXT.md Lint Code Base #6128: Commit 10b0cc3 pushed by mjustus
May 31, 2024 09:22 2m 0s main
main
May 31, 2024 09:22 2m 0s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Sphinx #4266: Pull request #2939 synchronize by AlgebraicWolf
May 29, 2024 21:25 54s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
May 29, 2024 21:25 54s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint Code Base #6127: Pull request #2939 synchronize by AlgebraicWolf
May 29, 2024 21:25 2m 3s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
May 29, 2024 21:25 2m 3s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Lint the sources #6208: Pull request #2939 synchronize by AlgebraicWolf
May 29, 2024 21:25 13s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
May 29, 2024 21:25 13s
[ fix #2927 ] Do not eagerly evaluate expressions occurring inside %delay block Idris2 and External Libs #654: Pull request #2939 synchronize by AlgebraicWolf
May 29, 2024 21:25 40m 41s AlgebraicWolf:fix-lazy-and-cse
AlgebraicWolf:fix-lazy-and-cse
May 29, 2024 21:25 40m 41s
Add pipeline operators Lint the sources #6206: Pull request #3284 synchronize by observant2
May 25, 2024 10:40 12s observant2:add_pipe_operators
observant2:add_pipe_operators
May 25, 2024 10:40 12s
Add pipeline operators Sphinx #4264: Pull request #3284 synchronize by observant2
May 25, 2024 10:40 29s observant2:add_pipe_operators
observant2:add_pipe_operators
May 25, 2024 10:40 29s
Add pipeline operators Lint Code Base #6125: Pull request #3284 synchronize by observant2
May 25, 2024 10:40 2m 4s observant2:add_pipe_operators
observant2:add_pipe_operators
May 25, 2024 10:40 2m 4s
Add pipeline operators Idris2 and External Libs #652: Pull request #3284 synchronize by observant2
May 25, 2024 10:40 41m 29s observant2:add_pipe_operators
observant2:add_pipe_operators
May 25, 2024 10:40 41m 29s
pages build and deployment pages-build-deployment #416: by github-pages bot
May 24, 2024 07:30 44s
May 24, 2024 07:30 44s
[ performance ] a faster implementation of unpack (#3281) Lint the sources #6204: Commit e73ca06 pushed by gallais
May 24, 2024 07:06 14s main
main
May 24, 2024 07:06 14s
[ performance ] a faster implementation of unpack (#3281) Lint Code Base #6123: Commit e73ca06 pushed by gallais
May 24, 2024 07:06 2m 2s main
main
May 24, 2024 07:06 2m 2s