mirror of
https://github.com/Instadapp/aave-protocol-v2.git
synced 2024-07-29 21:47:30 +00:00
Update .gitlab-ci.yml
This commit is contained in:
parent
aefe0e041f
commit
b903f8dc63
|
@ -17,7 +17,7 @@ certora-test:
|
||||||
stage: test
|
stage: test
|
||||||
image: python:latest
|
image: python:latest
|
||||||
before_script:
|
before_script:
|
||||||
- echo "export PATH=$PATH:~/.local/bin" >> $BASH_ENV
|
- echo "export PATH=$PATH:~/.local/bin" >> "$BASH_ENV"
|
||||||
- apt-get update || apt-get update
|
- apt-get update || apt-get update
|
||||||
- apt-get install -y software-properties-common
|
- apt-get install -y software-properties-common
|
||||||
- pip3 install certora-cli-beta==0.4.1
|
- pip3 install certora-cli-beta==0.4.1
|
||||||
|
|
Loading…
Reference in New Issue
Block a user