Skip to content

Actions: stefan-hoeck/idris2-hedgehog

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow runs
64 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Document the commands to run in the REPL for the first examples of th… Lint #171: Commit 3dd9beb pushed by stefan-hoeck
October 13, 2024 06:53 1m 23s main
main
October 13, 2024 06:53 1m 23s
Document the commands to run in the REPL for the first examples of th… Build #532: Commit 3dd9beb pushed by stefan-hoeck
October 13, 2024 06:53 1m 20s main
main
October 13, 2024 06:53 1m 20s
Document the commands to run in the REPL for the first examples of the tutorial Lint #170: Pull request #48 opened by l-monnier
October 12, 2024 19:42 1m 22s l-monnier:main
l-monnier:main
October 12, 2024 19:42 1m 22s
Document the commands to run in the REPL for the first examples of the tutorial Build #531: Pull request #48 opened by l-monnier
October 12, 2024 19:42 1m 25s l-monnier:main
l-monnier:main
October 12, 2024 19:42 1m 25s
[ new ] Add convenient forAlls function returning an HList (#47) Build #530: Commit 87d3bf9 pushed by stefan-hoeck
September 6, 2024 02:31 1m 18s main
main
September 6, 2024 02:31 1m 18s
[ new ] Add convenient forAlls function returning an HList (#47) Lint #169: Commit 87d3bf9 pushed by stefan-hoeck
September 6, 2024 02:31 1m 23s main
main
September 6, 2024 02:31 1m 23s
[ new ] Add convenient forAlls function returning an HList Build #529: Pull request #47 synchronize by buzden
September 5, 2024 19:59 1m 20s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 19:59 1m 20s
[ new ] Add convenient forAlls function returning an HList Lint #168: Pull request #47 synchronize by buzden
September 5, 2024 19:59 1m 14s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 19:59 1m 14s
[ new ] Add convenient forAlls function returning an HList Lint #167: Pull request #47 synchronize by buzden
September 5, 2024 19:57 1m 13s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 19:57 1m 13s
[ new ] Add convenient forAlls function returning an HList Build #528: Pull request #47 synchronize by buzden
September 5, 2024 19:57 1m 24s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 19:57 1m 24s
[ new ] Add convenient forAlls function returning an HList Build #527: Pull request #47 synchronize by buzden
September 5, 2024 19:54 1m 20s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 19:54 1m 20s
[ new ] Add convenient forAlls function returning an HList Lint #166: Pull request #47 synchronize by buzden
September 5, 2024 19:54 1m 24s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 19:54 1m 24s
[ new ] Add convenient forAlls function returning an HList Lint #165: Pull request #47 opened by buzden
September 5, 2024 18:54 1m 14s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 18:54 1m 14s
[ new ] Add convenient forAlls function returning an HList Build #526: Pull request #47 opened by buzden
September 5, 2024 18:54 1m 18s buzden:add-foralls-func
buzden:add-foralls-func
September 5, 2024 18:54 1m 18s
Use external libraries for the appropriate stuff (#40) Lint #164: Commit e1224cf pushed by stefan-hoeck
July 30, 2024 04:32 1m 25s main
main
July 30, 2024 04:32 1m 25s
Use external libraries for the appropriate stuff (#40) Build #525: Commit e1224cf pushed by stefan-hoeck
July 30, 2024 04:32 1m 15s main
main
July 30, 2024 04:32 1m 15s
Use external libraries for the appropriate stuff Build #524: Pull request #40 synchronize by buzden
July 25, 2024 13:47 1m 18s buzden:use-external-random-stuff
buzden:use-external-random-stuff
July 25, 2024 13:47 1m 18s
Use external libraries for the appropriate stuff Lint #163: Pull request #40 synchronize by buzden
July 25, 2024 13:47 1m 25s buzden:use-external-random-stuff
buzden:use-external-random-stuff
July 25, 2024 13:47 1m 25s
Use external libraries for the appropriate stuff Build #523: Pull request #40 synchronize by buzden
June 28, 2024 13:14 1m 29s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 13:14 1m 29s
Use external libraries for the appropriate stuff Lint #162: Pull request #40 synchronize by buzden
June 28, 2024 13:14 1m 26s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 13:14 1m 26s
Use external libraries for the appropriate stuff Lint #161: Pull request #40 synchronize by buzden
June 28, 2024 12:36 1m 24s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 12:36 1m 24s
Use external libraries for the appropriate stuff Build #522: Pull request #40 synchronize by buzden
June 28, 2024 12:36 1m 34s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 12:36 1m 34s
Use external libraries for the appropriate stuff Lint #160: Pull request #40 synchronize by buzden
June 28, 2024 11:52 1m 32s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 11:52 1m 32s
Use external libraries for the appropriate stuff Build #521: Pull request #40 synchronize by buzden
June 28, 2024 11:52 1m 33s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 11:52 1m 33s
Use external libraries for the appropriate stuff Build #520: Pull request #40 synchronize by buzden
June 28, 2024 11:40 1m 35s buzden:use-external-random-stuff
buzden:use-external-random-stuff
June 28, 2024 11:40 1m 35s