Update .gitlab-ci.yml

This commit is contained in:
pistiner 2020-11-01 16:45:27 +00:00
parent 944f6624c8
commit 6e943c8c6e

View File

@ -18,6 +18,7 @@ certora-test:
image: openjdk:13 image: openjdk:13
before_script: before_script:
- echo "export PATH=$PATH:~/.local/bin" - echo "export PATH=$PATH:~/.local/bin"
- whereis sudo
- sudo apt-get update || sudo apt-get update - sudo apt-get update || sudo apt-get update
- sudo apt-get install -y software-properties-common - sudo apt-get install -y software-properties-common
- sudo apt-get install python3-pip - sudo apt-get install python3-pip