[workflow] Move lint job to separate file

This only needs to run on push or pull request, not daily like with the rest of
the CI stuff.

Author: mshroyer

.github/workflows/ci.yml

@@ -42,23 +42,6 @@ jobs:
       - run: cargo test --verbose
       - run: uv run --package integration pytest
 
-  lint:
-    name: Lint
-    runs-on: ubuntu-latest
-    needs: build_and_test
-    steps:
-      - uses: actions/checkout@v4
-      - run: git submodule update --init
-
-      - name: Setup rust
-        run: rustup toolchain install --profile minimal -c rustfmt,clippy nightly && rustup default nightly
-
-      - name: rustfmt
-        run: cargo fmt --check
-
-      - name: Cargo check
-        run: cargo check
-
   build_and_test_features:
     name: Test non-default feature sets
     strategy:

.github/workflows/lint.yml

@@ -0,0 +1,21 @@
+name: lint.yml
+on:
+  push:
+  pull_request:
+
+jobs:
+  lint:
+    name: Lint
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: git submodule update --init
+
+      - name: Setup rust
+        run: rustup toolchain install --profile minimal -c rustfmt,clippy nightly && rustup default nightly
+
+      - name: rustfmt
+        run: cargo fmt --check
+
+      - name: Cargo check
+        run: cargo check