Remove redundant GitHub CI workflow
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
deleted file mode 100644
index 4da86c5..0000000
--- a/.github/workflows/ci.yml
+++ /dev/null
@@ -1,21 +0,0 @@
-name: CI
-
-on:
- push:
- branches: [main]
- pull_request:
-
-permissions: {}
-
-jobs:
- ci:
- runs-on: ubuntu-latest
- steps:
- - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
- with:
- persist-credentials: false
- - run: rustup component add clippy rustfmt llvm-tools
- - run: cargo install grcov
- - run: cargo install just
- - run: cargo fmt --check
- - run: just clippy coverage