Skip to content

Actions: buzden/idris2-coop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
515 workflow runs
515 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test Build and test #327: Scheduled
November 5, 2023 01:51 8m 7s master
master
November 5, 2023 01:51 8m 7s
Build and test Build and test #326: Scheduled
November 4, 2023 01:42 8m 10s master
master
November 4, 2023 01:42 8m 10s
Build and test Build and test #325: Scheduled
November 3, 2023 01:44 8m 47s master
master
November 3, 2023 01:44 8m 47s
Build and test Build and test #324: Scheduled
November 2, 2023 01:43 8m 27s master
master
November 2, 2023 01:43 8m 27s
[ race ] Make Either be inside the racing primitive Lint #246: Pull request #27 synchronize by buzden
November 1, 2023 22:33 2m 22s either-in-race-primitive
either-in-race-primitive
November 1, 2023 22:33 2m 22s
[ race ] Make Either be inside the racing primitive Build and test #323: Pull request #27 synchronize by buzden
November 1, 2023 22:33 14m 22s either-in-race-primitive
either-in-race-primitive
November 1, 2023 22:33 14m 22s
[ new ] Implement MonadRec by Coop simply, since it's lazy on bind Lint #245: Commit 3f7fe65 pushed by buzden
November 1, 2023 22:32 2m 25s master
master
November 1, 2023 22:32 2m 25s
[ new ] Implement MonadRec by Coop simply, since it's lazy on bind Build and test #322: Commit 3f7fe65 pushed by buzden
November 1, 2023 22:32 11m 5s master
master
November 1, 2023 22:32 11m 5s
[ new ] Implement MonadRec by Coop simply, since it's lazy on bind Build and test #321: Pull request #47 opened by buzden
November 1, 2023 22:15 16m 8s monad-rec-impl
monad-rec-impl
November 1, 2023 22:15 16m 8s
[ new ] Implement MonadRec by Coop simply, since it's lazy on bind Lint #244: Pull request #47 opened by buzden
November 1, 2023 22:15 3m 4s monad-rec-impl
monad-rec-impl
November 1, 2023 22:15 3m 4s
Build and test Build and test #320: Scheduled
November 1, 2023 01:51 9m 28s master
master
November 1, 2023 01:51 9m 28s
Build and test Build and test #319: Scheduled
October 31, 2023 01:44 14m 5s master
master
October 31, 2023 01:44 14m 5s
Build and test Build and test #318: Scheduled
October 30, 2023 01:45 8m 39s master
master
October 30, 2023 01:45 8m 39s
Build and test Build and test #317: Scheduled
October 29, 2023 01:48 7m 51s master
master
October 29, 2023 01:48 7m 51s
Build and test Build and test #316: Scheduled
October 28, 2023 01:40 8m 39s master
master
October 28, 2023 01:40 8m 39s
Build and test Build and test #315: Scheduled
October 27, 2023 01:41 8m 6s master
master
October 27, 2023 01:41 8m 6s
Build and test Build and test #314: Scheduled
October 26, 2023 01:41 8m 47s master
master
October 26, 2023 01:41 8m 47s
[ test ] Increase time for waiting in infinite tests to reduce flakiness Build and test #313: Commit 2126a3e pushed by buzden
October 25, 2023 10:37 15m 1s master
master
October 25, 2023 10:37 15m 1s
[ test ] Increase time for waiting in infinite tests to reduce flakiness Lint #243: Commit 2126a3e pushed by buzden
October 25, 2023 10:37 2m 31s master
master
October 25, 2023 10:37 2m 31s
[ test ] Increase time for waiting in infinite tests to reduce flakiness Build and test #312: Pull request #44 opened by buzden
October 25, 2023 10:17 17m 35s tests-increase-infinite-time
tests-increase-infinite-time
October 25, 2023 10:17 17m 35s
[ test ] Increase time for waiting in infinite tests to reduce flakiness Lint #242: Pull request #44 opened by buzden
October 25, 2023 10:17 2m 29s tests-increase-infinite-time
tests-increase-infinite-time
October 25, 2023 10:17 2m 29s
Build and test Build and test #311: Scheduled
October 25, 2023 01:43 8m 55s master
master
October 25, 2023 01:43 8m 55s
[ test ] Use nicer tests runner layout after the upstream updates Build and test #310: Commit 0d24fd1 pushed by buzden
October 24, 2023 06:41 8m 31s master
master
October 24, 2023 06:41 8m 31s
[ test ] Use nicer tests runner layout after the upstream updates Lint #241: Commit 0d24fd1 pushed by buzden
October 24, 2023 06:41 3m 7s master
master
October 24, 2023 06:41 3m 7s
Build and test Build and test #309: Scheduled
October 24, 2023 01:43 1m 6s master
master
October 24, 2023 01:43 1m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-10-24 or the other filters available.