Skip to content

Actions: buzden/idris2-positive-nat

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
6 workflow runs
6 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 #6: Commit 8da7515 pushed by buzden
December 19, 2024 11:07 2m 32s master
master
December 19, 2024 11:07 2m 32s
[ ci ] Switch to an appropriate pack collection when on bleeding edge Lint #5: Pull request #2 opened by buzden
December 19, 2024 10:59 1m 30s fixup-ci
fixup-ci
December 19, 2024 10:59 1m 30s
[ upstream ] Remove use of a deprecated value Lint #4: Commit d4cfb3c pushed by buzden
November 28, 2024 08:42 1m 33s master
master
November 28, 2024 08:42 1m 33s
[ upstream ] Remove use of a deprecated value Lint #3: Pull request #1 opened by buzden
November 28, 2024 08:39 1m 28s remove-use-of-deprecated
remove-use-of-deprecated
November 28, 2024 08:39 1m 28s
[ meta ] Make positive nats a separate library Lint #2: Commit b9751d9 pushed by buzden
June 14, 2024 14:40 1m 30s master
master
June 14, 2024 14:40 1m 30s
[ meta ] Make positive nats a separate library Lint #1: Commit b9751d9 pushed by buzden
June 14, 2024 14:33 1m 24s master
master
June 14, 2024 14:33 1m 24s