File: miri.yml

package info (click to toggle)
rust-fast-float2 0.2.3-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 272 kB
  • sloc: makefile: 2
file content (21 lines) | stat: -rw-r--r-- 438 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
name: Miri

on:
  [pull_request, workflow_dispatch]

jobs:
  miri:
    name: Miri
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
          submodules: recursive
      - uses: dtolnay/rust-toolchain@stable
        with:
          toolchain: nightly
      - run: cargo check
      - run: cargo build
      - run: |
            rustup component add --toolchain nightly miri
            cargo miri test