Fix unsoundness of RootMoveList #30
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: Test | |
on: | |
push: | |
branches: [main] | |
pull_request: | |
jobs: | |
lint: | |
name: Lint | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Lint | |
run: cargo clippy | |
- name: cargo fmt | |
run: cargo fmt --all -- --check | |
- name: check typos | |
uses: crate-ci/typos@master | |
with: | |
config: typos.toml | |
test-stable: | |
name: Test stable | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Build | |
run: cargo +stable build --verbose | |
- name: Run tests | |
run: cargo +stable test --verbose | |
test-nightly: | |
name: Test nightly | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Install dependencies | |
run: rustup install nightly | |
- name: Build | |
run: cargo +nightly build --verbose | |
- name: Run tests | |
run: cargo +nightly test --verbose | |
test-beta: | |
name: Test beta | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v3 | |
- name: Install dependencies | |
run: rustup install beta | |
- name: Build | |
run: cargo +beta build --verbose | |
- name: Run tests | |
run: cargo +beta test --verbose |