Merge pull request #132 from benjeffery/fix-lint

Move lint workflow to the right place
sgkit-dev · Apr 19, 2024 · 98478fe · 98478fe
2 parents 65ee479 + b714f78
commit 98478fe
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/lint.yml → .github/workflows/lint.yml b/.github/lint.yml → .github/workflows/lint.yml