Update .gitlab-ci.yml

This commit is contained in:
pistiner 2020-11-01 18:02:54 +00:00
parent 651412e721
commit 64d7da37e7

View File

@ -15,8 +15,6 @@ test:
certora-test:
stage: test
variables:
- PATH: "$PATH:~/.local/bin"
image: ubuntu:18.04
before_script:
- apt-get update || apt-get update