chore: bump libc from 0.2.147 to 0.2.148 #20
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
| on: | |
| pull_request: | |
| name: Miri | |
| # NOTE: due to extensive FFI use, all tests | |
| # run with miri must have miri in the test name. | |
| # Such tests must make NO calls into tskit-c! | |
| # (They must make no calls into any FFI for that matter...) | |
| # The "test miri" args below only run the desired tests. | |
| jobs: | |
| test_miri: | |
| name: Test (Miri) | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: actions-rs/toolchain@v1 | |
| with: | |
| profile: minimal | |
| toolchain: nightly | |
| override: true | |
| components: miri | |
| - uses: actions-rs/cargo@v1 | |
| with: | |
| command: miri | |
| args: test miri |