Update .gitlab-ci.yml

This commit is contained in:
pistiner 2020-11-01 17:34:00 +00:00
parent a27cb91a48
commit 14961cac8c

View File

@ -15,8 +15,7 @@ test:
certora-test: certora-test:
stage: test stage: test
tags: image: ubuntu:18.04
- linux
before_script: before_script:
- echo "export PATH=$PATH:~/.local/bin" - echo "export PATH=$PATH:~/.local/bin"
- sudo apt-get update || sudo apt-get update - sudo apt-get update || sudo apt-get update