michael/itoa
michael
/
itoa
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Merge pull request #30 from dtolnay/miri 

Add a miri test job in CI
This commit is contained in:
David Tolnay 2021-12-10 23:09:08 -08:00 committed by GitHub
parent d1d4554f26 415ab8cf9a
commit f1a3a6faf3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/workflows/ci.yml vendored
View File

@ -44,6 +44,16 @@ jobs:
- uses: dtolnay/rust-toolchain@1.0.0 - uses: dtolnay/rust-toolchain@1.0.0
- run: cargo build - run: cargo build
miri:
name: Miri
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: dtolnay/rust-toolchain@nightly
with:
components: miri
- run: cargo miri test
clippy: clippy:
name: Clippy name: Clippy
runs-on: ubuntu-latest runs-on: ubuntu-latest