From 0350b69165e6b532ef363ce3a04bbf49f4930572 Mon Sep 17 00:00:00 2001 From: Simeon Ehrig Date: Wed, 21 Aug 2024 09:24:53 +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 62f64e8..ca77b58 100644 --- a/.github/workflows/BuildDeployDoc.yml +++ b/.github/workflows/BuildDeployDoc.yml @@ -22,6 +22,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