Contribution: from papsan to 'ceremony/vocdoni-zkcensus-ceremony' ceremony #127
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
name: Verify contribution | |
on: | |
pull_request_target: | |
branches: | |
- ceremony/* | |
paths: | |
- contributions/* | |
permissions: write-all | |
jobs: | |
verify-contribution: | |
runs-on: [self-hosted, ci2-1] | |
steps: | |
- name: Checkout the repository | |
uses: actions/checkout@v4 | |
- name: Build toolkit | |
run: | | |
docker build . -q --target zk-voceremony --tag vocdoni/zk-voceremony | |
- name: Checkout the fork | |
uses: actions/checkout@v4 | |
with: | |
lfs: true | |
ref: ${{ github.event.pull_request.head.sha }} | |
- name: Checkout LFS objects | |
run: git lfs checkout | |
- name: Run toolkit | |
run: | | |
docker run --rm -qt -v ./:/app --env-file ./ceremony.env vocdoni/zk-voceremony verify | |
- name: Merge PR branch | |
if: success() && contains(github.event.pull_request.title, 'Contribution:') | |
run: | | |
gh pr merge --admin --squash "$PR_URL" \ | |
|| gh pr close -c "Failed, likely another contribution was merged concurrently and yours was lost, please restart your contribution from scratch" "$PR_URL" | |
env: | |
PR_URL: ${{github.event.pull_request.html_url}} | |
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |