aave-protocol-v2/.gitlab-ci.yml

stages:
  - checks

test:
  stage: checks
  tags:
    - aave-build-runner
  before_script:
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml build
  script:
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run ci:test
  after_script:
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run ci:clean
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml down

deploy-mainnet-fork:
  tags:
    - aave-build-runner
  stage: checks
  before_script:
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml build
  script:
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run aave:fork:main
  after_script:
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run ci:clean
    - docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml down

certora-test:
  stage: checks
  image: python:latest
  before_script:
    - apt-get update || apt-get update
    - apt-get install -y software-properties-common
    - pip3 install certora-cli
    - wget https://github.com/ethereum/solidity/releases/download/v0.6.12/solc-static-linux
    - chmod +x solc-static-linux
    - mv solc-static-linux /usr/bin/solc
    - export PATH=$PATH:/usr/bin/solc/solc-static-linux
  script:
    - certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc_args "['--optimize']" --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-b=4 --cache StableDebtToken --cloud
    - certoraRun specs/harness/UserConfigurationHarness.sol --verify UserConfigurationHarness:specs/UserConfiguration.spec --solc_args "['--optimize']" --settings -useBitVectorTheory --cache UserConfiguration --cloud
    - certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc_args "['--optimize']" --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic,-b=4 --cache VariableDebtToken --cloud
add test step to CI 2020-08-21 12:11:01 +00:00			`stages:`
Fix CI 2020-11-20 10:40:01 +00:00			`- checks`
add test step to CI 2020-08-21 12:11:01 +00:00
			`test:`
Fix CI 2020-11-20 10:40:01 +00:00			`stage: checks`
add test step to CI 2020-08-21 12:11:01 +00:00			`tags:`
			`- aave-build-runner`
			`before_script:`
Edit custom project name to use different network 2020-11-23 15:47:05 +00:00			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml build`
add test step to CI 2020-08-21 12:11:01 +00:00			`script:`
Edit custom project name to use different network 2020-11-23 15:47:05 +00:00			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run ci:test`
add test step to CI 2020-08-21 12:11:01 +00:00			`after_script:`
Edit custom project name to use different network 2020-11-23 15:47:05 +00:00			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run ci:clean`
			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml down`
Fix CI 2020-11-20 10:40:01 +00:00
Fixes missing param at deployDefaultReserveInterestRateStrategy. Update WalletBalanceProvider to add provider argument. Minor fixes migration script. 2020-11-20 10:32:17 +00:00			`deploy-mainnet-fork:`
rollback tag 2020-11-23 15:39:22 +00:00			`tags:`
			`- aave-build-runner`
Fix CI 2020-11-20 10:40:01 +00:00			`stage: checks`
Fixes missing param at deployDefaultReserveInterestRateStrategy. Update WalletBalanceProvider to add provider argument. Minor fixes migration script. 2020-11-20 10:32:17 +00:00			`before_script:`
Edit custom project name to use different network 2020-11-23 15:47:05 +00:00			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml build`
Fixes missing param at deployDefaultReserveInterestRateStrategy. Update WalletBalanceProvider to add provider argument. Minor fixes migration script. 2020-11-20 10:32:17 +00:00			`script:`
Edit custom project name to use different network 2020-11-23 15:47:05 +00:00			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run aave:fork:main`
Fixes missing param at deployDefaultReserveInterestRateStrategy. Update WalletBalanceProvider to add provider argument. Minor fixes migration script. 2020-11-20 10:32:17 +00:00			`after_script:`
Edit custom project name to use different network 2020-11-23 15:47:05 +00:00			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml run contracts-env npm run ci:clean`
			`- docker-compose -p ${CI_JOB_ID} -f docker-compose.test.yml down`
Update .gitlab-ci.yml 2020-11-01 16:34:06 +00:00
			`certora-test:`
Merged master into certora/integrationStep2 2020-11-24 13:26:35 +00:00			`stage: checks`
Update .gitlab-ci.yml 2020-11-01 18:07:48 +00:00			`image: python:latest`
Update .gitlab-ci.yml 2020-11-01 16:34:06 +00:00			`before_script:`
Update .gitlab-ci.yml 2020-11-01 18:01:52 +00:00			`- apt-get update \|\| apt-get update`
			`- apt-get install -y software-properties-common`
Update .gitlab-ci.yml 2020-12-03 15:46:05 +00:00			`- pip3 install certora-cli`
Update .gitlab-ci.yml 2020-11-22 20:43:01 +00:00			`- wget https://github.com/ethereum/solidity/releases/download/v0.6.12/solc-static-linux`
Update .gitlab-ci.yml 2020-11-01 16:34:06 +00:00			`- chmod +x solc-static-linux`
Update .gitlab-ci.yml 2020-11-01 18:01:52 +00:00			`- mv solc-static-linux /usr/bin/solc`
Update .gitlab-ci.yml 2020-11-01 19:11:47 +00:00			`- export PATH=$PATH:/usr/bin/solc/solc-static-linux`
Update .gitlab-ci.yml 2020-11-01 16:34:06 +00:00			`script:`
Apply fix 2021-01-18 14:56:16 +00:00			`- certoraRun specs/harness/StableDebtTokenHarness.sol:StableDebtTokenHarness --solc_args "['--optimize']" --verify StableDebtTokenHarness:specs/StableDebtToken.spec --settings -assumeUnwindCond,-b=4 --cache StableDebtToken --cloud`
			`- certoraRun specs/harness/UserConfigurationHarness.sol --verify UserConfigurationHarness:specs/UserConfiguration.spec --solc_args "['--optimize']" --settings -useBitVectorTheory --cache UserConfiguration --cloud`
			`- certoraRun contracts/protocol/tokenization/VariableDebtToken.sol:VariableDebtToken specs/harness/LendingPoolHarnessForVariableDebtToken.sol --solc_args "['--optimize']" --link VariableDebtToken:POOL=LendingPoolHarnessForVariableDebtToken --verify VariableDebtToken:specs/VariableDebtToken.spec --settings -assumeUnwindCond,-useNonLinearArithmetic,-b=4 --cache VariableDebtToken --cloud`