Update CI build image
This commit is contained in:
parent
a58de25037
commit
be7ddc9306
@ -7,7 +7,7 @@ stages:
|
||||
|
||||
compile:
|
||||
stage: build
|
||||
image: lampepfl/moocs-dotty:2019-09-17-2
|
||||
image: lampepfl/moocs-dotty:2019-10-16
|
||||
except:
|
||||
- tags
|
||||
tags:
|
||||
|
||||
Loading…
Reference in New Issue
Block a user