Merge pull request #64 from ehuss/remove-style-check

Remove style-check
rust-lang · Jul 1, 2024 · 13b05e7 · 13b05e7
2 parents 025cea6 + ef14cc4
commit 13b05e7
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 217 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,5 +18,3 @@ jobs:
       env:
         SPEC_DENY_WARNINGS: 1
       run: mdbook build
-    - name: Run style check
-      run: (cd style-check && cargo run -- ../spec)
diff --git a/style-check/Cargo.lock b/style-check/Cargo.lock
diff --git a/style-check/Cargo.toml b/style-check/Cargo.toml
diff --git a/style-check/src/main.rs b/style-check/src/main.rs