name: CI

on: [push, pull_request]

jobs:
  check:
    runs-on: ubuntu-latest
    steps:
      - run: git config --global url."https://git.rcjohnstone.com/".insteadOf "ssh://connor@git.rcjohnstone.com:2222/"

      - uses: actions/checkout@v4
        with:
          submodules: true
          token: ${{ secrets.GITEA }}

      - uses: dtolnay/rust-toolchain@stable

      - run: cargo fmt --check

      - run: cargo clippy --workspace -- -D warnings

      - run: cargo build --workspace

      - run: cargo test --workspace