Test Miri on CI

Author: Aaron1011

.github/workflows/main.yml

@@ -192,3 +192,14 @@ jobs:
     - name: Install Rust
       run: rustup update 1.40.0 && rustup default 1.40.0
     - run: cargo build
+
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v1
+      with:
+        submodules: true
+    - name: Install Rust
+      run: ./ci/miri-rustup.sh
+    - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri test

ci/miri-rustup.sh

@@ -0,0 +1,7 @@
+set -ex
+
+MIRI_NIGHTLY=nightly-$(curl -s https://rust-lang.github.io/rustup-components-history/x86_64-unknown-linux-gnu/miri)
+echo "Installing latest nightly with Miri: $MIRI_NIGHTLY"
+rustup set profile minimal
+rustup default "$MIRI_NIGHTLY"
+rustup component add miri