diff --git a/.github/workflows/clippy.yml b/.github/workflows/clippy.yml new file mode 100644 index 00000000..335c0120 --- /dev/null +++ b/.github/workflows/clippy.yml @@ -0,0 +1,29 @@ +name: Clippy + +on: + push: + branches: + - stage0 + pull_request: + branches: + - stage0 + +jobs: + build: + + runs-on: ${{ matrix.os }} + + strategy: + matrix: + os: [ubuntu-latest] + + steps: + - uses: actions/checkout@v4 + with: + submodules: true + - name: Check Cargo availability + run: cargo --version + - name: Check clippy (x86_64) + run: cargo clippy + - name: Check clippy (i688) + run: cargo clippy --target i686-eduos.json