From 8c042574dff6a0e3345c4061f735786038d603b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= Date: Tue, 11 Feb 2025 12:07:52 +0100 Subject: [PATCH] Fix --- .github/workflows/Tests.yml | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml index 056d316..0b0037e 100644 --- a/.github/workflows/Tests.yml +++ b/.github/workflows/Tests.yml @@ -53,6 +53,17 @@ jobs: - uses: julia-actions/cache@v2 + - name: "Remove Oscar.jl compat" + if: ${{ matrix.oscar-version == 'devel' }} + shell: julia --color=yes {0} + run: | + using TOML + project = TOML.parsefile("Project.toml") + project["compat"]["Oscar"] = "1" + open("Project.toml", "w") do io + TOML.print(io, project) + end + - name: "Install OSCAR dev version" if: ${{ matrix.oscar-version == 'devel' }} shell: julia --project=. --color=yes {0}