From 70413a5fdc5a46185ca4e5cbc573a848cd1d86a5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Thu, 27 Jul 2023 16:19:05 +0200 Subject: [PATCH] Build docs against Oscar master --- .github/workflows/Documentation.yml | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index 398a0a40..d1cefb76 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -5,6 +5,8 @@ on: branches: - master tags: '*' + pull_request: + workflow_dispatch: concurrency: # group by workflow and ref; the last slightly strange component ensures that for pull @@ -22,12 +24,20 @@ jobs: - name: "Set up Julia" uses: julia-actions/setup-julia@latest with: - version: '1.8' + version: '1.9' - name: Restore cache uses: julia-actions/cache@v1 with: - cache-name: 'docs-1.8' + cache-name: 'docs-1.9' + + - name: "Dev Oscar.jl master" + shell: julia --color=yes --project=. {0} + run: | + using Pkg + Pkg.add(url="https://github.com/lgoettgens/Oscar.jl", rev="master-pbwdeformations") + env: + JULIA_PKG_PRECOMPILE_AUTO: no - name: Build package uses: julia-actions/julia-buildpkg@latest