keepcalm 0.5.0

Simple shared types for multi-threaded programs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

name: Miri

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]

env:
  CARGO_TERM_COLOR: always

jobs:
  build:
    runs-on: ubuntu-latest
    steps:
    - uses: actions/checkout@v3
    - name: Install nightly toolchain
      run: rustup toolchain add nightly
    - name: Install miri
      run: rustup component add miri --toolchain nightly
    - name: Run Miri
      run: MIRIFLAGS=-Zmiri-disable-isolation cargo +nightly miri test --all-features