From e3b0e6524b90fd6dcca8d6dd6541425e10e37288 Mon Sep 17 00:00:00 2001 From: Tom McLaughlin Date: Fri, 17 Nov 2023 20:41:59 -0800 Subject: [PATCH] ci tweaks --- .github/workflows/ci.yml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 827f8c08..526d432d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,7 +3,7 @@ name: codedown-languages on: pull_request: push: - branches: [main] + workflow_dispatch: jobs: test: @@ -41,6 +41,7 @@ jobs: submodules: recursive - name: Build tests + if: "!contains(github.event.head_commit.message, 'noci')" run: | cd tests @@ -52,6 +53,7 @@ jobs: stack build --nix --no-nix-pure - name: Run tests + if: "!contains(github.event.head_commit.message, 'noci')" run: | cd tests