Update .gitlab-ci.yml

This commit is contained in:
pistiner 2020-11-01 18:05:29 +00:00
parent 64d7da37e7
commit 3c0d73eb0c

View File

@ -15,7 +15,7 @@ test:
certora-test:
stage: test
image: ubuntu:18.04
image: openjdk:15-jdk
before_script:
- apt-get update || apt-get update
- apt-get install -y software-properties-common