Commit 131f1998 authored by Björn Brandenburg's avatar Björn Brandenburg

CI: remove older versions no longer supported

parent e48ad1ec
......@@ -63,21 +63,6 @@ stages:
- "*/*/*/*/*/*/*/*/*/*.glob"
expire_in: 1 week
1.9.0-coq-8.9:
extends: .build
1.9.0-coq-8.10:
extends: .build
1.9.0-coq-8.11:
extends: .build
1.10.0-coq-8.9:
extends: .build
1.10.0-coq-8.10:
extends: .build
1.10.0-coq-8.11:
extends: .build
......
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