Commit c8ac548e authored by Ralf Jung's avatar Ralf Jung

shorten job name

parent a7262e53
Pipeline #4331 passed with stage
in 14 minutes and 21 seconds
...@@ -23,7 +23,7 @@ variables: ...@@ -23,7 +23,7 @@ variables:
- master - master
- /^ci/ - /^ci/
iris_atomic-coq8.6.1: iratomic-coq8.6.1:
<<: *template <<: *template
variables: variables:
COQ_VERSION: "8.6.1" COQ_VERSION: "8.6.1"
......
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