From 450e110b5088cf7f48f8301732ccdeda8dc1b315 Mon Sep 17 00:00:00 2001
From: Oli Scherer <github35764891676564198441@oli-obk.de>
Date: Tue, 24 Aug 2021 15:03:36 +0000
Subject: [PATCH] Try out gitpod

---
 .gitpod.yml | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 00000000000..36bd991740a
--- /dev/null
+++ 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"
\ No newline at end of file