Feat/add release workflow #3
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: certora | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }} | |
| cancel-in-progress: true | |
| on: | |
| pull_request: | |
| branches: | |
| - certora | |
| - main | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| jobs: | |
| verify: | |
| runs-on: ubuntu-latest | |
| if: | |
| github.event.pull_request.head.repo.full_name == github.repository || (github.event_name == 'push' && | |
| github.ref == format('refs/heads/{0}', github.event.repository.default_branch)) | |
| permissions: | |
| contents: read | |
| statuses: write | |
| pull-requests: write | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - uses: Certora/certora-run-action@v1 | |
| with: | |
| cli-version: 7.29.3 | |
| configurations: |- | |
| certora/conf/stakeToken/rules.conf | |
| certora/conf/stakeToken/invariants.conf | |
| certora/conf/rewards/mirrors.conf | |
| certora/conf/rewards/invariants.conf --rule distributionEnd_NEQ_0 | |
| certora/conf/rewards/invariants.conf --rule all_rewars_are_different | |
| certora/conf/rewards/invariants.conf --rule same_distributionEnd_values | |
| certora/conf/rewards/invariants.conf --rule lastUpdateTimestamp_LEQ_current_time | |
| certora/conf/rewards/invariants.conf --rule accrued_is_0_for_non_existing_reward | |
| certora/conf/rewards/invariants.conf --rule userIndex_is_0_for_non_existing_reward | |
| certora/conf/rewards/invariants.conf --rule distributionEnd_is_0_for_non_existing_reward | |
| certora/conf/rewards/invariants.conf --rule rewardIndex_is_0_for_non_existing_reward | |
| certora/conf/rewards/invariants.conf --rule userIndex_LEQ_rewardIndex | |
| certora/conf/rewards/invariants.conf --rule targetLiquidity_NEQ_0 | |
| certora/conf/rewards/double_reward.conf | |
| certora/conf/rewards/single_reward.conf --exclude_rule bob_cant_DOS_alice_to_claim bob_cant_DOS_alice_to_claim__claimSelectedRewards bob_cant_DOS_alice_to_claim__claimAllRewards bob_cant_affect_the_claimed_amount_of_alice | |
| certora/conf/rewards/single_reward-depth0.conf --rule bob_cant_DOS_alice_to_claim | |
| certora/conf/rewards/single_reward-depth0.conf --rule bob_cant_DOS_alice_to_claim__claimAllRewards | |
| certora/conf/rewards/single_reward-depth0.conf --rule bob_cant_DOS_alice_to_claim__claimSelectedRewards | |
| certora/conf/rewards/single_reward-special_config.conf --rule bob_cant_affect_the_claimed_amount_of_alice | |
| certora/conf/umbrella/invariants.conf | |
| certora/conf/umbrella/Umbrella.conf --rule slashing_cant_DOS_other_functions | |
| certora/conf/umbrella/Umbrella.conf --rule slashing_cant_DOS__coverDeficitOffset | |
| certora/conf/umbrella/Umbrella.conf --exclude_rule slashing_cant_DOS_other_functions slashing_cant_DOS__coverDeficitOffset | |
| solc-versions: 0.8.27 | |
| comment-fail-only: false | |
| solc-remove-version-prefix: "0." | |
| job-name: "Certora Prover Run" | |
| certora-key: ${{ secrets.CERTORAKEY }} | |
| install-java: true | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |