From de948743fabcb6bc09640ade333df286517cd5eb Mon Sep 17 00:00:00 2001 From: Alexey Gerasev Date: Wed, 17 Jan 2024 18:56:58 +0700 Subject: [PATCH] Move shortcut scripts to separate dir, add Miri script --- .github/workflows/test.yml | 2 +- .gitlab-ci.yml | 2 +- bench.sh => scripts/bench.sh | 0 scripts/miri.sh | 7 +++++++ test.sh => scripts/test.sh | 0 5 files changed, 9 insertions(+), 2 deletions(-) rename bench.sh => scripts/bench.sh (100%) create mode 100755 scripts/miri.sh rename test.sh => scripts/test.sh (100%) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 0d63cb4..7c0d6ba 100644 --- 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 index 83cedb0..a90e707 100644 --- 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 b/scripts/bench.sh similarity index 100% rename from bench.sh rename to scripts/bench.sh diff --git a/scripts/miri.sh b/scripts/miri.sh new file mode 100755 index 0000000..7645f34 --- /dev/null +++ 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 b/scripts/test.sh similarity index 100% rename from test.sh rename to scripts/test.sh