Skip to content

Actions: buzden/idris2-cozippable

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ new ] Add comerging function Lint #5: Commit ceaf178 pushed by buzden
September 23, 2024 13:24 1m 38s master
master
September 23, 2024 13:24 1m 38s
[ new ] Implement cozippables for monad errors with monoidal errors Lint #4: Commit 6595b0e pushed by buzden
June 20, 2024 10:50 1m 34s master
master
June 20, 2024 10:50 1m 34s
[ new ] Add the implementation for the cozippable interface Lint #3: Commit 32f6295 pushed by buzden
June 19, 2024 21:07 1m 20s master
master
June 19, 2024 21:07 1m 20s
[ new ] Add the implementation for the cozippable interface Lint #2: Commit bd49b84 pushed by buzden
June 19, 2024 21:02 1m 38s master
master
June 19, 2024 21:02 1m 38s
[ new ] Add the implementation for the cozippable interface Lint #1: Commit b2f672a pushed by buzden
June 19, 2024 21:02 30s master
master
June 19, 2024 21:02 30s