2019-09-21 11:10:55 +00:00
|
|
|
on: [push, pull_request]
|
|
|
|
|
2021-10-01 11:35:43 +00:00
|
|
|
name: Continuous integration
|
|
|
|
|
2019-09-21 11:10:55 +00:00
|
|
|
jobs:
|
2021-10-01 11:35:43 +00:00
|
|
|
check:
|
|
|
|
name: check
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- uses: actions-rs/toolchain@v1
|
|
|
|
with:
|
|
|
|
profile: minimal
|
|
|
|
toolchain: stable
|
|
|
|
override: true
|
|
|
|
- uses: Swatinem/rust-cache@v1
|
|
|
|
- uses: actions-rs/cargo@v1
|
|
|
|
with:
|
|
|
|
command: check
|
|
|
|
|
|
|
|
test:
|
|
|
|
name: test
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- uses: actions-rs/toolchain@v1
|
|
|
|
with:
|
|
|
|
profile: minimal
|
|
|
|
toolchain: stable
|
|
|
|
override: true
|
|
|
|
- uses: Swatinem/rust-cache@v1
|
|
|
|
- uses: actions-rs/cargo@v1
|
|
|
|
with:
|
|
|
|
command: test
|
|
|
|
|
|
|
|
fmt:
|
|
|
|
name: rustfmt
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- uses: actions-rs/toolchain@v1
|
|
|
|
with:
|
|
|
|
profile: minimal
|
|
|
|
toolchain: stable
|
|
|
|
override: true
|
|
|
|
- run: rustup component add rustfmt
|
|
|
|
- uses: Swatinem/rust-cache@v1
|
|
|
|
- uses: actions-rs/cargo@v1
|
|
|
|
with:
|
|
|
|
command: fmt
|
|
|
|
args: --all -- --check
|
2020-02-23 17:53:47 +00:00
|
|
|
|
2021-10-01 11:35:43 +00:00
|
|
|
miri:
|
|
|
|
name: miri
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- name: Install Miri
|
|
|
|
run: |
|
|
|
|
MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
|
|
|
|
echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
|
|
|
|
rustup set profile minimal
|
|
|
|
rustup default "$MIRI_NIGHTLY"
|
|
|
|
rustup component add miri
|
|
|
|
- uses: Swatinem/rust-cache@v1
|
|
|
|
- name: Run Tests
|
|
|
|
run: cargo miri test
|