.github/workflows/ci-sage.yml (sage): Add msolve

flintlib · Feb 25, 2024 · d0b189e · d0b189e
1 parent fcf0f84
commit d0b189e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci-sage.yml b/.github/workflows/ci-sage.yml
@@ -123,7 +123,7 @@ jobs:
       from_docker_target: "with-targets"
       from_docker_tag: "dev"
       docker_targets: "with-targets"
-      targets: "build ptest-nodoc"
+      targets: "build msolve ptest-nodoc"
       tox_system_factors: >-
         ["debian-bookworm"]
       tox_packages_factors: >-