From f2fb3ffd712dd35eca1f979c6852c6ccf7a88333 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Petr=20=C5=A0tetiar?= Date: Mon, 5 Sep 2022 09:04:27 +0200 Subject: [PATCH] ci: move scripts into separate directory MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit So it's clean and tidy. Signed-off-by: Petr Å tetiar (cherry picked from commit 63ed733d30153667d7d645ab0ee3f5614089c759) --- .github/workflows/formal.yml | 2 +- .github/workflows/{ => scripts}/ci_helpers.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename .github/workflows/{ => scripts}/ci_helpers.sh (100%) diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml index 1256481637..8df31d1751 100644 --- a/.github/workflows/formal.yml +++ b/.github/workflows/formal.yml @@ -27,7 +27,7 @@ jobs: - name: Test formalities run: | - source .github/workflows/ci_helpers.sh + source .github/workflows/scripts/ci_helpers.sh RET=0 for commit in $(git rev-list HEAD ^origin/$BRANCH); do diff --git a/.github/workflows/ci_helpers.sh b/.github/workflows/scripts/ci_helpers.sh similarity index 100% rename from .github/workflows/ci_helpers.sh rename to .github/workflows/scripts/ci_helpers.sh -- 2.30.2