From eb66e6f9a903178df6dbbe24096003e72711ef3f Mon Sep 17 00:00:00 2001 From: Simeon Ehrig Date: Wed, 21 Aug 2024 11:42:58 +0200 Subject: [PATCH] set QED dependencies for the doc build to the dev branch version - only if the target branch is not main --- .github/workflows/BuildDeployDoc.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/BuildDeployDoc.yml b/.github/workflows/BuildDeployDoc.yml index dd93194..57f034a 100644 --- a/.github/workflows/BuildDeployDoc.yml +++ b/.github/workflows/BuildDeployDoc.yml @@ -26,6 +26,11 @@ jobs: - name: Install dependencies run: | julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' + - name: set dependencies to dev branch version + if: (github.event_name == 'push' && github.ref_name != 'main') || (github.event_name == 'pull_request' && github.base_ref != 'main') + run: | + git clone -b dev https://github.com/QEDjl-project/QED.jl.git /tmp/integration_test_tools + julia --project=docs/ /tmp/integration_test_tools/.ci/set_dev_dependencies.jl - name: Build and deploy env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token