Skip to content

Actions: alt-romes/cabal

Actions

Linting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
344 workflow runs
344 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into wip/romes/9448 Linting #19: Commit 00bc7de pushed by mergify bot
December 6, 2023 14:17 1m 26s wip/romes/9448
wip/romes/9448
December 6, 2023 14:17 1m 26s
WIP: HPC artifacts are written and read from pkg-db Linting #18: Commit 2337e39 pushed by alt-romes
December 5, 2023 18:13 1m 25s wip/romes/4798
wip/romes/4798
December 5, 2023 18:13 1m 25s
fixup! Filter out components that don't match the package, which is s… Linting #17: Commit 11e0e08 pushed by alt-romes
December 5, 2023 11:06 1m 20s wip/romes/4798
wip/romes/4798
December 5, 2023 11:06 1m 20s
more tests Linting #16: Commit 43dde53 pushed by alt-romes
December 5, 2023 10:08 1m 17s wip/romes/4798
wip/romes/4798
December 5, 2023 10:08 1m 17s
Formoulu Linting #15: Commit c327a18 pushed by alt-romes
December 5, 2023 10:03 1m 17s wip/romes/4798
wip/romes/4798
December 5, 2023 10:03 1m 17s
Filter out components that don't match the package, which is still no… Linting #14: Commit de274f2 pushed by alt-romes
December 5, 2023 09:59 1m 20s wip/romes/4798
wip/romes/4798
December 5, 2023 09:59 1m 20s
Fourmolu formatting Linting #13: Commit a2aa39d pushed by alt-romes
December 4, 2023 17:48 1m 30s wip/romes/4798
wip/romes/4798
December 4, 2023 17:48 1m 30s
Fourmolu formatting Linting #12: Commit 98e8f00 pushed by alt-romes
December 4, 2023 15:04 1m 20s wip/romes/4798
wip/romes/4798
December 4, 2023 15:04 1m 20s
Fourmolu formatting Linting #11: Commit b65cb5b pushed by alt-romes
December 4, 2023 14:45 1m 18s wip/romes/4798
wip/romes/4798
December 4, 2023 14:45 1m 18s
Fourmolu formatting Linting #10: Commit 32967e9 pushed by alt-romes
December 4, 2023 14:28 1m 24s wip/romes/4798
wip/romes/4798
December 4, 2023 14:28 1m 24s
Fourmolu formatting Linting #9: Commit a574757 pushed by alt-romes
December 4, 2023 14:10 1m 23s wip/romes/4798
wip/romes/4798
December 4, 2023 14:10 1m 23s
Merge branch 'master' into wip/romes/9448 Linting #8: Commit 8183a73 pushed by alt-romes
December 4, 2023 14:05 1m 20s wip/romes/9448
wip/romes/9448
December 4, 2023 14:05 1m 20s
Fourmolu formatting Linting #7: Commit 5d29491 pushed by alt-romes
December 4, 2023 11:44 1m 18s wip/romes/4798
wip/romes/4798
December 4, 2023 11:44 1m 18s
Fourmolu formatting Linting #6: Commit fb411e9 pushed by alt-romes
December 4, 2023 11:36 1m 17s wip/romes/4798
wip/romes/4798
December 4, 2023 11:36 1m 17s
Fourmolu formatting Linting #5: Commit 5f02658 pushed by alt-romes
December 4, 2023 11:32 1m 22s wip/romes/4798
wip/romes/4798
December 4, 2023 11:32 1m 22s
fixup! Per-component multi-package builds with coverage enabled Linting #4: Commit d0f3ff0 pushed by alt-romes
December 4, 2023 09:37 1m 23s wip/romes/4798
wip/romes/4798
December 4, 2023 09:37 1m 23s
(Fourmolu formatting) Linting #3: Commit 6b9c481 pushed by alt-romes
December 4, 2023 09:26 1m 32s wip/romes/4798
wip/romes/4798
December 4, 2023 09:26 1m 32s
Per-component multi-package builds with coverage enabled Linting #2: Commit 697a6a8 pushed by alt-romes
December 4, 2023 09:18 1m 17s wip/romes/4798
wip/romes/4798
December 4, 2023 09:18 1m 17s
Per-component multi-package builds with coverage enabled Linting #1: Commit 009448a pushed by alt-romes
December 4, 2023 09:13 1m 21s wip/romes/4798
wip/romes/4798
December 4, 2023 09:13 1m 21s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.