Skip to content

Actions: buzden/idris2-cozippable

Actions

Build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
147 workflow runs
147 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and test
Build and test #22: Scheduled
July 7, 2024 02:04 1m 11s master
July 7, 2024 02:04 1m 11s
Build and test
Build and test #21: Scheduled
July 6, 2024 01:55 1m 16s master
July 6, 2024 01:55 1m 16s
Build and test
Build and test #20: Scheduled
July 5, 2024 01:57 1m 16s master
July 5, 2024 01:57 1m 16s
Build and test
Build and test #19: Scheduled
July 4, 2024 01:58 1m 15s master
July 4, 2024 01:58 1m 15s
Build and test
Build and test #18: Scheduled
July 3, 2024 01:57 1m 8s master
July 3, 2024 01:57 1m 8s
Build and test
Build and test #17: Scheduled
July 2, 2024 01:59 1m 11s master
July 2, 2024 01:59 1m 11s
Build and test
Build and test #16: Scheduled
July 1, 2024 02:06 1m 15s master
July 1, 2024 02:06 1m 15s
Build and test
Build and test #15: Scheduled
June 30, 2024 02:03 1m 10s master
June 30, 2024 02:03 1m 10s
Build and test
Build and test #14: Scheduled
June 29, 2024 01:56 1m 15s master
June 29, 2024 01:56 1m 15s
Build and test
Build and test #13: Scheduled
June 28, 2024 01:58 1m 17s master
June 28, 2024 01:58 1m 17s
Build and test
Build and test #12: Scheduled
June 27, 2024 01:57 1m 8s master
June 27, 2024 01:57 1m 8s
Build and test
Build and test #11: Scheduled
June 26, 2024 01:57 5m 49s master
June 26, 2024 01:57 5m 49s
Build and test
Build and test #10: Scheduled
June 25, 2024 01:57 1m 12s master
June 25, 2024 01:57 1m 12s
Build and test
Build and test #9: Scheduled
June 24, 2024 01:59 1m 18s master
June 24, 2024 01:59 1m 18s
Build and test
Build and test #8: Scheduled
June 23, 2024 02:01 1m 9s master
June 23, 2024 02:01 1m 9s
Build and test
Build and test #7: Scheduled
June 22, 2024 01:54 1m 14s master
June 22, 2024 01:54 1m 14s
Build and test
Build and test #6: Scheduled
June 21, 2024 01:56 1m 17s master
June 21, 2024 01:56 1m 17s
[ new ] Implement cozippables for monad errors with monoidal errors
Build and test #5: Commit 6595b0e pushed by buzden
June 20, 2024 10:50 5m 59s master
June 20, 2024 10:50 5m 59s
Build and test
Build and test #4: Scheduled
June 20, 2024 01:55 5m 55s master
June 20, 2024 01:55 5m 55s
[ new ] Add the implementation for the cozippable interface
Build and test #3: Commit 32f6295 pushed by buzden
June 19, 2024 21:07 1m 7s master
June 19, 2024 21:07 1m 7s
[ new ] Add the implementation for the cozippable interface
Build and test #2: Commit bd49b84 pushed by buzden
June 19, 2024 21:02 1m 19s master
June 19, 2024 21:02 1m 19s
[ new ] Add the implementation for the cozippable interface
Build and test #1: Commit b2f672a pushed by buzden
June 19, 2024 21:02 32s master
June 19, 2024 21:02 32s