Skip to content

Actions: buzden/idris2-mk

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ wip ] Make the code compilable Lint #8: Commit d8c8dc6 pushed by buzden
December 19, 2024 11:51 1m 29s master
master
December 19, 2024 11:51 1m 29s
[ ci ] Switch to an appropriate pack collection when on bleeding edge Lint #7: Commit fcd2b43 pushed by buzden
December 19, 2024 11:02 1m 37s master
master
December 19, 2024 11:02 1m 37s
[ ci ] Update and optimise CI configs, bump versions Lint #6: Commit a631cfe pushed by buzden
February 6, 2024 18:22 1m 35s master
master
February 6, 2024 18:22 1m 35s
[ ci ] Update CI configs, bump versions Lint #5: Commit 658ef72 pushed by buzden
February 5, 2024 15:08 1m 36s master
master
February 5, 2024 15:08 1m 36s