Rework OSCAR loading

.github/workflows/Documentation.yml

@@ -31,24 +31,15 @@ jobs:
         with:
           cache-name: 'docs-1.10'
 
-      - name: "Dev Oscar.jl master"
-        shell: julia --project=. --color=yes {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
-
-      - name: Install dependencies
+      - name: "Instantiate deps (including Oscar.jl master)"
         shell: julia --project=docs/ --color=yes {0}
         run: |
           using Pkg
-          Pkg.add(url="https://github.com/lgoettgens/Oscar.jl", rev="master-pbwdeformations")
+          include(joinpath(pwd(), "etc", "add_oscar.jl"))
           Pkg.develop(PackageSpec(path=pwd()))
           Pkg.instantiate()
+        env:
+          JULIA_PKG_PRECOMPILE_AUTO: no
 
       - name: Build and deploy
         env:

.github/workflows/OscarTests.yml

@@ -22,7 +22,7 @@ concurrency:
 jobs:
   oscartest:
     runs-on: ${{ matrix.os }}
-    timeout-minutes: 120
+    timeout-minutes: 30
     continue-on-error: ${{ matrix.julia-version == 'nightly' }}
     strategy:
       fail-fast: false
@@ -66,11 +66,10 @@ jobs:
           cache-name: julia-cache;workflow=${{ github.workflow }};julia=${{ matrix.julia-version }};arch=${{ runner.arch }}
           include-matrix: false
 
-      - name: "Dev Oscar.jl master"
+      - name: "Add deps (including Oscar.jl master)"
         shell: julia --project=. --color=yes {0}
         run: |
-          using Pkg
-          Pkg.add(url="https://github.com/lgoettgens/Oscar.jl", rev="master-pbwdeformations")
+          include(joinpath(pwd(), "etc", "add_oscar.jl"))
         env:
           JULIA_PKG_PRECOMPILE_AUTO: no
 

.github/workflows/Tests.yml

@@ -22,7 +22,7 @@ concurrency:
 jobs:
   test:
     runs-on: ${{ matrix.os }}
-    timeout-minutes: 120
+    timeout-minutes: 30
     continue-on-error: ${{ matrix.julia-version == 'nightly' }}
     strategy:
       fail-fast: false

OSCAR.rev

@@ -0,0 +1 @@
+13c3fc3c202f6a694efb849a39b625fa383feb46

etc/add_oscar.jl

@@ -0,0 +1,3 @@
+using Pkg
+rev = readline("OSCAR.rev")
+Pkg.add(PackageSpec(; url="https://github.com/oscar-system/Oscar.jl", rev))