Skip to content

Actions: buzden/idris2-coop

Actions

Lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-super-linter.yml
20 workflow runs
20 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 #266: Commit 96e845c pushed by buzden
December 19, 2024 11:11 3m 11s master
master
December 19, 2024 11:11 3m 11s
[ ci ] Switch to an appropriate pack collection when on bleeding edge Lint #265: Pull request #53 opened by buzden
December 19, 2024 11:01 1m 43s fixup-ci
fixup-ci
December 19, 2024 11:01 1m 43s
[ upstream ] Remove use of deprecated value Lint #264: Commit b5caf74 pushed by buzden
November 28, 2024 08:42 1m 48s master
master
November 28, 2024 08:42 1m 48s
[ upstream ] Remove use of deprecated value Lint #263: Pull request #52 opened by buzden
November 28, 2024 08:36 1m 48s remove-use-of-deprecated
remove-use-of-deprecated
November 28, 2024 08:36 1m 48s
[ upstream ] Fix some compilation error introduced by a new compiler Lint #262: Commit 4646130 pushed by buzden
August 8, 2024 12:24 1m 50s master
master
August 8, 2024 12:24 1m 50s
[ upstream ] Fix some compilation error introduced by a new compiler Lint #261: Pull request #51 opened by buzden
August 8, 2024 12:00 1m 55s temp-upstream-fix
temp-upstream-fix
August 8, 2024 12:00 1m 55s
[ race ] Make Either be inside the racing primitive Lint #260: Pull request #27 synchronize by buzden
February 6, 2024 18:24 1m 51s either-in-race-primitive
either-in-race-primitive
February 6, 2024 18:24 1m 51s
[ ci ] CI configs corrections and optimisations Lint #259: Commit 73dceae pushed by buzden
February 6, 2024 18:24 1m 51s master
master
February 6, 2024 18:24 1m 51s
[ ci ] CI configs corrections and optimisations Lint #258: Pull request #50 opened by buzden
February 6, 2024 18:17 1m 55s ci-update-2
ci-update-2
February 6, 2024 18:17 1m 55s
[ ci ] Bump versions in GH CI, update configs accordingly Lint #257: Commit 077d959 pushed by buzden
February 5, 2024 14:40 1m 53s master
master
February 5, 2024 14:40 1m 53s
[ ci ] Bump versions in GH CI Lint #256: Pull request #49 synchronize by buzden
February 5, 2024 14:22 1m 55s ci-bump-actions
ci-bump-actions
February 5, 2024 14:22 1m 55s
[ ci ] Bump versions in GH CI Lint #255: Pull request #49 synchronize by buzden
February 5, 2024 11:41 2m 0s ci-bump-actions
ci-bump-actions
February 5, 2024 11:41 2m 0s
[ ci ] Bump versions in GH CI Lint #254: Pull request #49 synchronize by buzden
February 5, 2024 11:38 1m 52s ci-bump-actions
ci-bump-actions
February 5, 2024 11:38 1m 52s
[ ci ] Bump versions in GH CI Lint #253: Pull request #49 synchronize by buzden
February 5, 2024 11:29 1m 49s ci-bump-actions
ci-bump-actions
February 5, 2024 11:29 1m 49s
[ ci ] Bump versions in GH CI Lint #252: Pull request #49 synchronize by buzden
February 5, 2024 11:11 2m 0s ci-bump-actions
ci-bump-actions
February 5, 2024 11:11 2m 0s
[ ci ] Bump versions in GH CI Lint #251: Pull request #49 synchronize by buzden
February 5, 2024 11:07 1m 59s ci-bump-actions
ci-bump-actions
February 5, 2024 11:07 1m 59s
[ ci ] Bump versions in GH CI Lint #250: Pull request #49 synchronize by buzden
February 5, 2024 09:22 1m 51s ci-bump-actions
ci-bump-actions
February 5, 2024 09:22 1m 51s
[ ci ] Bump versions in GH CI Lint #249: Pull request #49 synchronize by buzden
February 5, 2024 09:21 22s ci-bump-actions
ci-bump-actions
February 5, 2024 09:21 22s
[ ci ] Bump versions in GH CI Lint #248: Pull request #49 synchronize by buzden
February 5, 2024 09:18 2m 8s ci-bump-actions
ci-bump-actions
February 5, 2024 09:18 2m 8s
[ ci ] Bump versions in GH CI Lint #247: Pull request #49 opened by buzden
February 5, 2024 09:16 13s ci-bump-actions
ci-bump-actions
February 5, 2024 09:16 13s