From dd0058b40e83cebd986337ead8590b626a438749 Mon Sep 17 00:00:00 2001 From: Simeon Ehrig Date: Wed, 21 Aug 2024 14:23:59 +0200 Subject: [PATCH] CI: set QED dependencies for doc build to dev branch version, if target branch is not main (#45) Copy of: https://github.com/QEDjl-project/QEDprocesses.jl/pull/95 --- .github/workflows/BuildDelopyDoc.yml | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.github/workflows/BuildDelopyDoc.yml b/.github/workflows/BuildDelopyDoc.yml index 9179209..cccab70 100644 --- a/.github/workflows/BuildDelopyDoc.yml +++ b/.github/workflows/BuildDelopyDoc.yml @@ -25,6 +25,11 @@ jobs: julia --project=docs/ -e 'import Pkg; Pkg.Registry.add(Pkg.RegistrySpec(url="https://github.com/JuliaRegistries/General"));' - 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