Commit 191fa340 authored by's avatar

Merge branch 'ci/disable-debian-9' into 'master'

CI: Disable Debian 9 runner

See merge request !61
parents 7c7b7339 6b1fee7a
Pipeline #27832 failed with stage
in 9 seconds
......@@ -12,7 +12,3 @@ dune:git clang C++17:
dune:git gcc-8 C++17:
script: duneci-standard-test
dune:git gcc-6 C++14:
script: duneci-standard-test
Markdown is supported
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