Update .gitlab-ci.yml

This commit is contained in:
pistiner 2020-11-01 17:09:58 +00:00
parent 21df2d6922
commit 11ed9c396e

View File

@ -15,7 +15,9 @@ test:
certora-test: certora-test:
stage: test stage: test
image: openjdk:15-jdk image: openjdk:15.0-jdk-buster
tags:
- linux
before_script: before_script:
- echo "export PATH=$PATH:~/.local/bin" - echo "export PATH=$PATH:~/.local/bin"
- whereis sudo - whereis sudo