Skip to content

Commit

Permalink
include 'ceremony/' prefix to every ceremony branch and only execute …
Browse files Browse the repository at this point in the history
…the create ceremony action under that condition
  • Loading branch information
lucasmenendez committed Nov 8, 2023
1 parent 463cb01 commit 838636d
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 3 deletions.
3 changes: 2 additions & 1 deletion .github/workflows/create-ceremony.yml
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@ on:
jobs:
compile-and-prepare:
runs-on: ubuntu-latest
if: ${{ startsWith(github.ref, 'ceremony/') }}
steps:
- name: Checkout the repository
uses: actions/checkout@v4
Expand All @@ -20,7 +21,7 @@ jobs:
with:
commit_message: Create '${{ github.ref }}' ceremony
commit_options: '--no-verify'
commit_user_name: Voceremony Bot
commit_user_name: ${{ github.actor }}
- name: Create PR to end ceremony
run: gh pr create -B main -t "$PR_TITLE" -b "$PR_BODY" -l "$PR_LABELS" -a "$PR_ASSIGNEES"
env:
Expand Down
4 changes: 2 additions & 2 deletions scripts/create-env.sh
Original file line number Diff line number Diff line change
Expand Up @@ -56,11 +56,11 @@ cp $input_ptau $input_folder/$ptau_file

echo "TARGET_CIRCUIT=$input_folder/$circuit_file
INPUT_PTAU=$input_folder/$ptau_file
CEREMONY_BRANCH=$ceremony_branch
CEREMONY_BRANCH=ceremony/$ceremony_branch
CONTRIBUTIONS_PATH=$contributions_path
OUTPUT_PATH=$output_path" > ceremony.env

git checkout -b $ceremony_branch
git checkout -b ceremony/$ceremony_branch
git add -f ceremony.env $input_folder/$circuit_file $input_folder/$ptau_file
git commit -m "Initialize ceremony"
git push origin $ceremony_branch

0 comments on commit 838636d

Please sign in to comment.