Build docs against Oscar master

lgoettgens · Jul 27, 2023 · 70413a5 · 70413a5
1 parent 2f9f081
commit 70413a5
Showing 1 changed file with 12 additions and 2 deletions.
diff --git 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