Commit dda3725d authored by Timo Koch's avatar Timo Koch Committed by Dennis Gläser
Browse files

[ci][check-status] use dune-2.8

parent 8e016522
Pipeline #17564 passed with stage
......@@ -10,7 +10,7 @@ variables:
# pipeline on a related merge request already. If yes, we simply return
# to propagate that pipeline status on master. Otherwise, we trigger a new run.
image: $IMAGE_REGISTRY_URL/full:dune-2.7-gcc-ubuntu-20.04
image: $IMAGE_REGISTRY_URL/full:dune-2.8-gcc-ubuntu-20.04
stage: check-status
- if: $CI_PIPELINE_SOURCE == "schedule"
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment