run Miri on CI (but allowed to fail)

Author: RalfJung

.github/workflows/ci.yml

@@ -58,6 +58,26 @@ jobs:
       - name: Run Clippy
         run: cargo clippy --all-targets --target ${{ matrix.target }}
 
+  miri:
+    name: "miri"
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Install Miri
+        run: |
+          rustup toolchain install nightly --component miri
+          rustup override set nightly
+          cargo miri setup
+      - name: Test with Miri
+        continue-on-error: true
+        run: |
+          cargo miri test --test i32_ops -- --skip max --skip min --skip is_
+          cargo miri test --test f32_ops -- --skip max --skip min --skip is_
+      # Need a step after the failing one to give the PR a green checkmark
+      - name: Allow failures
+        run: true
+
+
   x86-tests:
     name: "${{ matrix.target_feature }} on ${{ matrix.target }}"
     runs-on: ${{ matrix.os }}