Skip to content

Bump to v13 for release #3544

Bump to v13 for release

Bump to v13 for release #3544

Workflow file for this run

name: Miri test
on:
push:
jobs:
run-miri:
runs-on: ubuntu-latest
env:
CARGO_TERM_COLOR: always
PROPTEST_CASES: 1
steps:
- uses: actions/checkout@v4
- name: Set up Rust
run: |
set -e
rustup set profile minimal
rustup toolchain install nightly --component miri
rustup default nightly
- name: Install Protoc Binary
shell: bash
run: chmod +x ./scripts/install-protoc.sh && ./scripts/install-protoc.sh $HOME
- uses: taiki-e/install-action@v2
with:
tool: nextest@0.9.68
- run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri nextest run
# We need to disable isolation because
# "unsupported operation: `clock_gettime` with `REALTIME` clocks not available when isolation is enabled"