From e84720d2eed89926abf92d04482763e8789184e7 Mon Sep 17 00:00:00 2001 From: Anton Bachin Date: Wed, 4 Sep 2024 00:58:11 +0300 Subject: [PATCH] Adjust whitespace and disabled job --- .github/workflows/test.yml | 20 ++++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml index 5e9ee1b0..697647be 100644 --- a/.github/workflows/test.yml +++ b/.github/workflows/test.yml @@ -53,15 +53,15 @@ jobs: run: | set -e set -x - EXAMPLES=$(find example -maxdepth 1 -type d -not -name "w-mirage*" -not -name "r-tyxml" | grep -v "^example/0" | grep -v "^example$" | sort) - shopt -s nullglob - for EXAMPLE in $EXAMPLES - do - FILE=$(ls $EXAMPLE/*.ml $EXAMPLE/*.re $EXAMPLE/server/*.ml $EXAMPLE/server/*.re) - EXE=$(echo $FILE | sed 's/\..*$/.exe/g') - echo dune build $EXE - opam exec -- dune build $EXE - done + EXAMPLES=$(find example -maxdepth 1 -type d -not -name "w-mirage*" -not -name "r-tyxml" | grep -v "^example/0" | grep -v "^example$" | sort) + shopt -s nullglob + for EXAMPLE in $EXAMPLES + do + FILE=$(ls $EXAMPLE/*.ml $EXAMPLE/*.re $EXAMPLE/server/*.ml $EXAMPLE/server/*.re) + EXE=$(echo $FILE | sed 's/\..*$/.exe/g') + echo dune build $EXE + opam exec -- dune build $EXE + done quickstart: strategy: @@ -102,7 +102,7 @@ jobs: if: false runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 with: submodules: recursive - run: mkdir ../repo-copy