Merge branch 'master' into top-20-completions

pepeiborra · pepeiborra · commit 79bfb442b91e · 2021-01-17T18:01:13.000Z
diff --git a/.gitignore b/.gitignore
@@ -27,3 +27,6 @@ test/testdata/**/hie.yaml
 
 # metadata files on macOS
 .DS_Store
+
+# shake build folder (used in benchmark suite)
+.shake/
