This file contains 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
| # TODO: Reusify and combine with the `check-lurk-compiles` action and/or make a reusable open-issue action | |
| # This workflow runs compatibility tests on a PR | |
| # On a `pull_request` failure, it writes a PR comment to ensure the author/reviewer are notified | |
| # On a `merge_group` failure, it opens an issue in the downstream repo that compatibility has been broken | |
| # It is not intended to be a required status check, only to noisily surface breaking changes | |
| # | |
| # Implementation note: | |
| # `falnyr/replace-env-vars-action`, `micalevisk/last-issue-action` and `peter-evans/create-issue-from-file` replace | |
| # equivalent functionality in `JasonEtco/create-an-issue`. We can't use the latter because it doesn't allow creating | |
| # the issue in another repo. See https://github.com/JasonEtco/create-an-issue/issues/40 | |
| name: Test Solidity Compatibility | |
| on: | |
| merge_group: | |
| pull_request: | |
| types: [opened, synchronize, reopened, ready_for_review] | |
| branches: | |
| - main | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} | |
| cancel-in-progress: true | |
| jobs: | |
| solidity-compat: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| repository: lurk-lab/ci-workflows | |
| - uses: ./.github/actions/ci-env | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - uses: dtolnay/rust-toolchain@stable | |
| - uses: taiki-e/install-action@nextest | |
| - uses: Swatinem/rust-cache@v2 | |
| - run: cargo nextest run -E 'test(test_solidity_compatibility_ipa)' --release --run-ignored all | |
| id: solidity-test | |
| continue-on-error: true | |
| # Prepares env vars for use in a PR comment or issue in `solidity-verifier` | |
| - name: Set env vars | |
| if: steps.solidity-test.outcome != 'success' | |
| run: | | |
| if [[ "${{ github.event_name }}" == "pull_request" ]]; then | |
| COMMIT=$(echo ${{ github.event.pull_request.head.sha }} | cut -c -7) | |
| PR_NUMBER=${{ github.event.pull_request.number }} | |
| else | |
| COMMIT=$(echo ${{ github.event.merge_group.head_sha }} | cut -c -7) | |
| PR_NUMBER=$(echo ${{ github.event.merge_group.head_ref }} | sed -e 's/.*pr-\(.*\)-.*/\1/') | |
| fi | |
| GITHUB_URL=https://github.com/${{ github.repository }} | |
| WORKFLOW_URL=$GITHUB_URL/actions/runs/${{ github.run_id }} | |
| echo "WORKFLOW_FILE=$WORKFLOW_URL/workflow" | tee -a $GITHUB_ENV | |
| echo "WORKFLOW_URL=$WORKFLOW_URL" | tee -a $GITHUB_ENV | |
| echo "COMMIT_URL=$GITHUB_URL/commit/$COMMIT" | tee -a $GITHUB_ENV | |
| echo "PR_URL=$GITHUB_URL/pull/$PR_NUMBER" | tee -a $GITHUB_ENV | |
| echo "COMMIT=$COMMIT" | tee -a $GITHUB_ENV | |
| - name: Comment on failing run | |
| if: steps.solidity-test.outcome != 'success' && github.event_name == 'pull_request' | |
| uses: peter-evans/create-or-update-comment@v4 | |
| with: | |
| issue-number: ${{ github.event.pull_request.number }} | |
| body: | | |
| `solidity-verifier` compatibility test failed :x: | |
| ${{ env.WORKFLOW_URL }} | |
| # Open issue in downstream repo | |
| - uses: actions/checkout@v4 | |
| if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') | |
| with: | |
| repository: lurk-lab/ci-workflows | |
| # Have to check out the upstream repo again to get the issue template | |
| - uses: actions/checkout@v4 | |
| if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') | |
| with: | |
| repository: lurk-lab/ci-lab | |
| path: ${{ github.workspace }}/template | |
| sparse-checkout: | | |
| .github/templates/SOLIDITY_COMPAT_ISSUE.md | |
| sparse-checkout-cone-mode: false | |
| # Substitutes env vars for their values in `SOLIDITY_COMPAT_ISSUE.md` | |
| - uses: falnyr/replace-env-vars-action@master | |
| if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') | |
| env: | |
| WORKFLOW_URL: ${{ env.WORKFLOW_URL }} | |
| WORKFLOW_FILE: ${{ env.WORKFLOW_FILE }} | |
| COMMIT: ${{ env.COMMIT }} | |
| COMMIT_URL: ${{ env.COMMIT_URL }} | |
| PR_URL: ${{ env.PR_URL }} | |
| with: | |
| filename: ./template/.github/templates/SOLIDITY_COMPAT_ISSUE.md | |
| # Finds the last open issue matching given labels | |
| - name: Find the last open compatibility issue | |
| id: last-issue | |
| if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') | |
| uses: micalevisk/last-issue-action@v2 | |
| with: | |
| repository: lurk-lab/ci-workflows | |
| state: open | |
| # Find the last updated open issue that has these labels: | |
| labels: | | |
| compatibility | |
| debt | |
| automated issue | |
| # Update existing issue in downstream repo or create new one | |
| - uses: peter-evans/create-issue-from-file@v5 | |
| if: steps.solidity-test.outcome != 'success' && (github.event_name != 'pull_request' || github.event.action == 'enqueued') | |
| with: | |
| token: ${{ secrets.REPO_TOKEN }} | |
| repository: lurk-lab/ci-workflows | |
| issue-number: ${{ steps.last-issue.outputs.issue-number }} | |
| title: ":rotating_light: Arecibo compatibility is broken" | |
| content-filepath: ./template/.github/templates/SOLIDITY_COMPAT_ISSUE.md | |
| labels: | | |
| compatibility | |
| debt | |
| automated issue |