ci.yml

name: CI
on: [push]
permissions:
  contents: read
  pages: write
  id-token: write
jobs:
  test:
    runs-on: ubuntu-latest

    steps:
      - uses: actions/checkout@master
        with:
          fetch-depth: 0
      - uses: actions/setup-node@v4
        with:
          node-version: "18.15"
          cache: yarn
      - run: yarn install  --immutable
      - run: yarn build
      - run: yarn check:coverage
        env:
          REPORT_GAS: "true"
      - uses: codecov/codecov-action@v3
        with:
          token: ${{ secrets.CODECOV_TOKEN }}
  formal-verfication:
    runs-on: ubuntu-latest
    needs: test
    strategy:
      matrix:
        ruleset:
          - "termAuction.conf"
          - "termAuctionBidLocker.conf"
          - "termAuctionBidLocker-locking.conf"
          - "termAuctionBidLocker-lockingReverts.conf"
          - "termAuctionBidLocker-stateVariables.conf"
          - "termAuctionOfferLocker.conf"
          - "termAuctionOfferLocker-stateVariables.conf"
          - "termRepoCollateralManager-batchDefault.conf"
          - "termRepoCollateralManager-batchLiquidation.conf"
          - "termRepoCollateralManager-batchLiquidationWithRepoToken.conf"
          - "termRepoCollateralManager-stateVariables.conf"
          - "termRepoCollateralManager.conf"
          - "termRepoLocker.conf"
          - "termRepoRolloverManager.conf"
          - "termRepoServicer-lockFulfill.conf"
          - "termRepoServicer-mintCollapse.conf"
          - "termRepoServicer-mintIntegrity.conf"
          - "termRepoServicer-mintCollapseReverts.conf"
          - "termRepoServicer-repaymentsRedemptions.conf"
          - "termRepoServicer-stateVariables.conf"
          - "termRepoToken.conf"
    steps:
      - uses: actions/checkout@master
        with:
          fetch-depth: 0
      - uses: actions/setup-node@v4
        with:
          node-version: "18.15"
          cache: yarn
      - uses: actions/setup-python@v4
        with:
          python-version: "3.11"
      - run: |
          yarn install --immutable
          yarn build
      - run: |
          pip3 install -r requirements.txt
      - run: |
          msg="${2:-"$(hostname) - ${conf_file} - $(date +%s)"}"

          pip3 install solc-select
          solc-select install ${SOLC_VERSION}

          certoraRun "./certora/confs/${{ matrix.ruleset }}" \
            --msg "$(hostname) - ${{ matrix.ruleset }} - $(date +%s)" \
            --wait_for_results all \
            --rule_sanity basic
        env:
          CERTORAKEY: ${{ secrets.CERTORAKEY }}
          SOLC_VERSION: 0.8.18
  formal-verfication-beta:
    runs-on: ubuntu-latest
    needs: test
    strategy:
      matrix:
        ruleset:
          - "termRepoServicer-lockFulfillReverts.conf"
          - "termRepoServicer-repaymentsReverts.conf"
          - "termRepoServicer-redemptionsReverts.conf"
          - "termRepoServicer-rolloverReverts.conf"
          - "termRepoServicer.conf"
    steps:
      - uses: actions/checkout@master
        with:
          fetch-depth: 0
      - uses: actions/setup-node@v4
        with:
          node-version: "18.15"
          cache: yarn
      - uses: actions/setup-python@v4
        with:
          python-version: "3.11"
      - run: |
          yarn install --immutable
          yarn build
      - run: |
          pip3 install certora-cli-beta
      - run: |
          msg="${2:-"$(hostname) - ${conf_file} - $(date +%s)"}"

          pip3 install solc-select
          solc-select install ${SOLC_VERSION}

          certoraRun "./certora/confs/${{ matrix.ruleset }}" \
            --msg "$(hostname) - ${{ matrix.ruleset }} - $(date +%s)" \
            --wait_for_results all \
            --rule_sanity basic
        env:
          CERTORAKEY: ${{ secrets.CERTORAKEY }}
          SOLC_VERSION: 0.8.18