src/tools/miri/.gitpod.yml

   1 image: ubuntu:latest
   2
   3 tasks:
   4   - before: echo "..."
   5     init: |
   6       cargo install rustup-toolchain-install-master
   7       ./rustup-toolchain
   8       ./miri build
   9     command: echo "Run tests with ./miri test"