Move shortcut scripts to separate dir, add Miri script

agerasev · Jan 17, 2024 · de94874 · de94874
1 parent dc694c2
commit de94874
Show file tree

Hide file tree

Showing 5 changed files with 9 additions and 2 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -9,4 +9,4 @@ jobs:
       - uses: actions-rs/toolchain@v1
         with:
           toolchain: stable
-      - run: ./test.sh
+      - run: ./scripts/test.sh
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
@@ -4,4 +4,4 @@ default:
 test:
   stage: test
   script:
-    - bash ./test.sh
+    - bash ./scripts/test.sh
diff --git a/bench.sh → scripts/bench.sh b/bench.sh → scripts/bench.sh
diff --git a/scripts/miri.sh b/scripts/miri.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+cargo +nightly miri test && \
+cargo +nightly miri test --features test_local && \
+cd async && \
+cargo +nightly miri test && \
+echo "Done!"
diff --git a/test.sh → scripts/test.sh b/test.sh → scripts/test.sh