Try out gitpod

2021-08-24 15:03:36 +00:00 · 2021-08-24 15:03:36 +00:00 · 450e110b50
commit 450e110b50
parent 08ca5606ab
1 changed files with 9 additions and 0 deletions
--- a/.gitpod.yml
+++ b/.gitpod.yml
@ -0,0 +1,9 @@
+image: ubuntu:latest
+
+tasks:
+  - before: echo "..."
+    init: |
+      cargo install rustup-toolchain-install-master
+      ./rustup-toolchain
+      ./miri build
+    command: echo "Run tests with ./miri test"