Skip to content
Run Miri

Update cargo and add licenses #15

Sign in to view logs

Update cargo and add licenses

Update cargo and add licenses #15

Workflow file for this run

.github/workflows/miri.yaml at 1ecb201
name: Run Miri
on:
pull_request:
branches:
- main
push:
branches:
- main
jobs:
miri:
name: "Miri"
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Install Miri
run: |
rustup toolchain install nightly --component miri
rustup override set nightly
cargo miri setup
- name: Install nextest
uses: taiki-e/install-action@nextest
- name: Test with Miri
run: cargo miri nextest run --all