From b8247e49c90eb0c0a882f509e71dbc9ed9f07d7e Mon Sep 17 00:00:00 2001 From: Jaap Frolich Date: Fri, 17 May 2024 10:45:18 +0200 Subject: [PATCH] fix --- .github/workflows/pipeline.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/pipeline.yml b/.github/workflows/pipeline.yml index 08244782..86206ba2 100644 --- a/.github/workflows/pipeline.yml +++ b/.github/workflows/pipeline.yml @@ -43,7 +43,7 @@ jobs: ./tests.sh - name: Release build - run: opam exec -- dune build --root . --only-packages 'graphql_ppx' --ignore-promoted-rules --no-config --profile release-static + run: opam exec -- dune build --root . --only-packages 'graphql_ppx' --ignore-promoted-rules --no-config --profile release - name: (only on release) Upload artifacts ${{ matrix.os }} uses: actions/upload-artifact@master @@ -95,7 +95,7 @@ jobs: ./tests.sh - name: Release build - run: opam exec -- dune build --root . --only-packages 'graphql_ppx' --ignore-promoted-rules --no-config --profile release-static + run: opam exec -- dune build --root . --only-packages 'graphql_ppx' --ignore-promoted-rules --no-config --profile release - name: (only on release) Upload artifacts ${{ matrix.os }} uses: actions/upload-artifact@master