Skip to content

Actions: buzden/idris2-best-alternative

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[ ci ] Switch to an appropriate pack collection when on bleeding edge Lint #3: Commit 8e24bc9 pushed by buzden
December 19, 2024 11:05 1m 29s master
master
December 19, 2024 11:05 1m 29s
[ ci ] Switch to an appropriate pack collection when on bleeding edge Lint #2: Pull request #1 opened by buzden
December 19, 2024 10:47 1m 36s fixup-ci
fixup-ci
December 19, 2024 10:47 1m 36s
[ meta ] Put utils for Alternative to a separate dir Lint #1: Commit 923d820 pushed by buzden
June 14, 2024 15:06 1m 38s master
master
June 14, 2024 15:06 1m 38s