New splitter for temporarily putting performance rewards in base pool #1824
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
| # This workflow runs Olympix, an automated security analysis tool for smart contracts. | |
| # Olympix scans our Solidity code for common vulnerabilities and security issues every time we push changes or open a PR. | |
| # https://www.olympix.ai/ | |
| name: "Olympix Integrated Security" | |
| on: | |
| push: | |
| branches: [main] | |
| pull_request: | |
| types: [opened, synchronize, reopened, ready_for_review] # the first 3 are the defaults if you dont specify `types` | |
| paths: | |
| - "synd-contracts/src/**/*.sol" | |
| - "synd-contracts/certora/specs/**/*.spec" | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref || github.run_id }} | |
| cancel-in-progress: true | |
| permissions: | |
| security-events: write | |
| actions: read | |
| contents: read | |
| jobs: | |
| security: | |
| if: github.event.pull_request.draft == false | |
| name: Olympix Integrated Security | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # Run Olympix checks but filter out the checks that do not apply to our contracts | |
| - name: Run Olympix Integrated Security | |
| uses: olympix/integrated-security@main | |
| env: | |
| OLYMPIX_API_TOKEN: ${{ secrets.OLYMPIX_API_TOKEN }} | |
| with: | |
| args: -f tree --no-incomplete-constructor-tests --no-missing-revert-reason-tests | |
| # Needs to be the last job step | |
| - name: Notify Slack on Failure | |
| # Only notify for workflow_run failures on main branch (not PRs) | |
| if: failure() && github.ref_name == 'main' | |
| uses: rtCamp/action-slack-notify@v2 | |
| env: | |
| SLACK_WEBHOOK: ${{ secrets.SLACK_WEBHOOK_URL }} | |
| SLACK_COLOR: "danger" | |
| SLACK_MESSAGE: ":x: `${{github.workflow}}` failed on `main` branch. View failure information here: <https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }}|View Workflow>" | |
| SLACK_TITLE: "*${{github.workflow}}* failed on `main` branch. Notify the author of the latest PR merged to `main`" |