Skip to content

Actions: idris-lang/Idris2

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ elab ] Make %runElab expressions have unrestricted quantity Idris2 #3242: Pull request #2021 synchronize by buzden
August 13, 2023 15:43 1h 8m 5s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 13, 2023 15:43 1h 8m 5s
[ elab ] Make %runElab expressions have unrestricted quantity Lint Code Base #5301: Pull request #2021 synchronize by buzden
August 13, 2023 15:43 2m 37s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 13, 2023 15:43 2m 37s
[ fix ] Totality checker misses indirect references to negative data Sphinx #3439: Pull request #3043 opened by dunhamsteve
August 12, 2023 21:54 35s dunhamsteve:issue-3030
dunhamsteve:issue-3030
August 12, 2023 21:54 35s
[ fix ] Totality checker misses indirect references to negative data Lint Code Base #5300: Pull request #3043 opened by dunhamsteve
August 12, 2023 21:54 2m 17s dunhamsteve:issue-3030
dunhamsteve:issue-3030
August 12, 2023 21:54 2m 17s
[ fix ] Totality checker misses indirect references to negative data Idris2 #3241: Pull request #3043 opened by dunhamsteve
August 12, 2023 21:54 1h 6m 45s dunhamsteve:issue-3030
dunhamsteve:issue-3030
August 12, 2023 21:54 1h 6m 45s
[ fix ] Totality checker misses indirect references to negative data Lint the sources #5381: Pull request #3043 opened by dunhamsteve
August 12, 2023 21:54 14s dunhamsteve:issue-3030
dunhamsteve:issue-3030
August 12, 2023 21:54 14s
[ ttc ] Relax existing second-precision time requirements Idris2 #3240: Pull request #3042 opened by buzden
August 12, 2023 08:08 1h 8m 30s buzden:treat-same-time-as-okay
buzden:treat-same-time-as-okay
August 12, 2023 08:08 1h 8m 30s
[ ttc ] Relax existing second-precision time requirements Sphinx #3438: Pull request #3042 opened by buzden
August 12, 2023 08:08 33s buzden:treat-same-time-as-okay
buzden:treat-same-time-as-okay
August 12, 2023 08:08 33s
[ ttc ] Relax existing second-precision time requirements Lint the sources #5380: Pull request #3042 opened by buzden
August 12, 2023 08:08 12s buzden:treat-same-time-as-okay
buzden:treat-same-time-as-okay
August 12, 2023 08:08 12s
[ ttc ] Relax existing second-precision time requirements Lint Code Base #5299: Pull request #3042 opened by buzden
August 12, 2023 08:08 2m 22s buzden:treat-same-time-as-okay
buzden:treat-same-time-as-okay
August 12, 2023 08:08 2m 22s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint Code Base #5298: Pull request #2791 synchronize by buzden
August 10, 2023 13:54 2m 42s buzden:memo-lazy
buzden:memo-lazy
August 10, 2023 13:54 2m 42s
[ performance ] Implement weak memoisation of lazy values for chez and racket Lint the sources #5379: Pull request #2791 synchronize by buzden
August 10, 2023 13:54 12s buzden:memo-lazy
buzden:memo-lazy
August 10, 2023 13:54 12s
[ performance ] Implement weak memoisation of lazy values for chez and racket Idris2 #3239: Pull request #2791 synchronize by buzden
August 10, 2023 13:54 1h 18m 59s buzden:memo-lazy
buzden:memo-lazy
August 10, 2023 13:54 1h 18m 59s
[ performance ] Implement weak memoisation of lazy values for chez and racket Sphinx #3437: Pull request #2791 synchronize by buzden
August 10, 2023 13:54 30s buzden:memo-lazy
buzden:memo-lazy
August 10, 2023 13:54 30s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint Code Base #5297: Pull request #3034 synchronize by buzden
August 10, 2023 13:27 2m 12s buzden:macro-without-extension
buzden:macro-without-extension
August 10, 2023 13:27 2m 12s
[ elab ] Make %macro-function be callable without the ElabReflection extension Sphinx #3436: Pull request #3034 synchronize by buzden
August 10, 2023 13:27 41s buzden:macro-without-extension
buzden:macro-without-extension
August 10, 2023 13:27 41s
[ elab ] Make %macro-function be callable without the ElabReflection extension Idris2 #3238: Pull request #3034 synchronize by buzden
August 10, 2023 13:27 1h 6m 25s buzden:macro-without-extension
buzden:macro-without-extension
August 10, 2023 13:27 1h 6m 25s
[ elab ] Make %macro-function be callable without the ElabReflection extension Lint the sources #5378: Pull request #3034 synchronize by buzden
August 10, 2023 13:27 14s buzden:macro-without-extension
buzden:macro-without-extension
August 10, 2023 13:27 14s
[ elab ] Make %runElab expressions have unrestricted quantity Sphinx #3435: Pull request #2021 synchronize by buzden
August 10, 2023 13:25 48s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 10, 2023 13:25 48s
[ elab ] Make %runElab expressions have unrestricted quantity Lint the sources #5377: Pull request #2021 synchronize by buzden
August 10, 2023 13:25 17s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 10, 2023 13:25 17s
[ elab ] Make %runElab expressions have unrestricted quantity Idris2 #3237: Pull request #2021 synchronize by buzden
August 10, 2023 13:25 1h 22m 16s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 10, 2023 13:25 1h 22m 16s
[ elab ] Make %runElab expressions have unrestricted quantity Lint Code Base #5296: Pull request #2021 synchronize by buzden
August 10, 2023 13:25 2m 19s buzden:fix-rig-for-runelab-expr
buzden:fix-rig-for-runelab-expr
August 10, 2023 13:25 2m 19s
pages build and deployment pages-build-deployment #305: by github-pages bot
August 7, 2023 07:53 53s
August 7, 2023 07:53 53s
[ base ] Make foldr1 and foldr1By public Idris2 #3236: Commit badf1e9 pushed by gallais
August 7, 2023 07:10 1h 11m 1s main
main
August 7, 2023 07:10 1h 11m 1s
[ base ] Make foldr1 and foldr1By public Sphinx #3434: Commit badf1e9 pushed by gallais
August 7, 2023 07:10 32s main
main
August 7, 2023 07:10 32s