diff --git a/.github/workflows/create-comment.yml b/.github/workflows/create-comment.yml new file mode 100644 index 00000000..93d56a70 --- /dev/null +++ b/.github/workflows/create-comment.yml @@ -0,0 +1,30 @@ +name: End to end integration tests + +on: + pull_request: + +jobs: + integration-tests-e2e: + name: E2E verification + runs-on: buildjet-16vcpu-ubuntu-2204 + steps: + - name: Exit if base branch is `main` + if: ${{ github.base_ref == 'main' }} + run: | + echo "Cannot run end2end integration tests on PR targeting `main`" + exit 1 + continue-on-error: false + + - uses: actions/checkout@v4 + with: + submodules: recursive + + - name: Comment on successful run + uses: peter-evans/create-or-update-comment@v3 + with: + issue-number: ${{ github.event.issue.number }} + body: | + End-to-end `!test` action succeeded! :rocket: + + https://github.com/lurk-lab/solidity-verifier/actions/runs/${{ github.run_id }} +