OscarCI: remove aqua tests for oscar

these fail due to not using the correct environments and package versions
oscar-system · Jun 2, 2024 · 3dfa9a9 · 3dfa9a9
1 parent 38c1fc4
commit 3dfa9a9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
@@ -100,6 +100,9 @@ jobs:
  - name: "Inject Test-Dependency for Oscar"
  run: |
  sed -i -e "s/Test =/Oscar = \"f1435218-dba5-11e9-1e4d-f1a5fab5fc13\"\nTest =/" test/Project.toml
+ - name: "Remove Oscar/Aqua test"
+ run: |
+ rm -f oscar-dev/Oscar/test/Aqua.jl
  - name: "Run tests"
  run: |
  echo '${{ env.oscar_run_tests }}'