Skip to content

Actions: stefan-hoeck/idris2-tailrec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #9 from buzden/eval Build #165: Commit 2734dfd pushed by stefan-hoeck
November 14, 2023 14:58 40s main
main
November 14, 2023 14:58 40s
Merge pull request #9 from buzden/eval Lint #32: Commit 2734dfd pushed by stefan-hoeck
November 14, 2023 14:58 1m 16s main
main
November 14, 2023 14:58 1m 16s
[ new ] Add an Eval monad, the simplest stack-safe monad Lint #31: Pull request #9 opened by buzden
November 14, 2023 13:04 1m 52s buzden:eval
buzden:eval
November 14, 2023 13:04 1m 52s
[ new ] Add an Eval monad, the simplest stack-safe monad Build #164: Pull request #9 opened by buzden
November 14, 2023 13:04 44s buzden:eval
buzden:eval
November 14, 2023 13:04 44s
Merge pull request #8 from stefan-hoeck/style Build #163: Commit 4ad241e pushed by stefan-hoeck
August 21, 2023 19:56 36s main
main
August 21, 2023 19:56 36s
Merge pull request #8 from stefan-hoeck/style Lint #30: Commit 4ad241e pushed by stefan-hoeck
August 21, 2023 19:56 1m 39s main
main
August 21, 2023 19:56 1m 39s
[ style ] adhere to coding style guide Build #162: Pull request #8 opened by stefan-hoeck
August 21, 2023 19:53 36s style
style
August 21, 2023 19:53 36s
[ style ] adhere to coding style guide Lint #29: Pull request #8 opened by stefan-hoeck
August 21, 2023 19:53 1m 44s style
style
August 21, 2023 19:53 1m 44s
[ style ] adhere to coding style guide Build #161: Commit 3355038 pushed by stefan-hoeck
August 21, 2023 19:53 35s style
style
August 21, 2023 19:53 35s
[ style ] adhere to coding style guide Lint #28: Commit 3355038 pushed by stefan-hoeck
August 21, 2023 19:53 1m 31s style
style
August 21, 2023 19:53 1m 31s
Merge pull request #7 from stefan-hoeck/either Lint #27: Commit b7d5690 pushed by stefan-hoeck
July 18, 2023 05:13 1m 22s main
main
July 18, 2023 05:13 1m 22s
Merge pull request #7 from stefan-hoeck/either Build #160: Commit b7d5690 pushed by stefan-hoeck
July 18, 2023 05:13 49s main
main
July 18, 2023 05:13 49s
[ new ] stack safe traversals for EitherT IO Lint #26: Pull request #7 opened by stefan-hoeck
July 18, 2023 05:11 1m 56s either
either
July 18, 2023 05:11 1m 56s
[ new ] stack safe traversals for EitherT IO Build #159: Pull request #7 opened by stefan-hoeck
July 18, 2023 05:11 40s either
either
July 18, 2023 05:11 40s
[ new ] stack safe traversals for EitherT IO Lint #25: Commit 2dcfc68 pushed by stefan-hoeck
July 18, 2023 05:10 1m 29s either
either
July 18, 2023 05:10 1m 29s
[ new ] stack safe traversals for EitherT IO Build #158: Commit 2dcfc68 pushed by stefan-hoeck
July 18, 2023 05:10 34s either
either
July 18, 2023 05:10 34s