Skip to content

Commit

Permalink
delete r1cs checks
Browse files Browse the repository at this point in the history
  • Loading branch information
lonerapier committed Oct 29, 2024
1 parent a7a656a commit 77b2d51
Showing 1 changed file with 1 addition and 59 deletions.
60 changes: 1 addition & 59 deletions .github/workflows/artifacts.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -70,54 +70,6 @@ jobs:
fi
done
- name: Check for R1CS changes and update version
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
id: version_check
run: |
NEEDS_BUMP=false
# Compare R1CS files if previous artifacts exist
if [ -d "previous_artifacts" ]; then
for r1cs in artifacts/*/*.r1cs; do
filename=$(basename $r1cs)
dirname=$(dirname $r1cs)
basedir=$(basename $dirname)
if [ -f "previous_artifacts/$basedir/$filename" ]; then
if ! cmp -s "$r1cs" "previous_artifacts/$basedir/$filename"; then
echo "R1CS change detected in $filename"
NEEDS_BUMP=true
break
fi
else
echo "New R1CS file detected: $filename"
NEEDS_BUMP=true
break
fi
done
else
echo "No previous artifacts found, will bump version"
NEEDS_BUMP=true
fi
if [ "$NEEDS_BUMP" = "true" ]; then
# Split version into components
IFS='.' read -r -a version_parts <<< "$CURRENT_VERSION"
MAJOR="${version_parts[0]}"
MINOR="${version_parts[1]}"
PATCH="${version_parts[2]}"
# Increment minor version
NEW_VERSION="$MAJOR.$((MINOR + 1)).0"
echo "Updating version to $NEW_VERSION"
# Update package.json
npm version $NEW_VERSION --no-git-tag-version
echo "NEW_VERSION=$NEW_VERSION" >> $GITHUB_ENV
else
echo "NEW_VERSION=$CURRENT_VERSION" >> $GITHUB_ENV
fi
- name: Create release artifacts
run: |
cd artifacts
Expand All @@ -141,14 +93,4 @@ jobs:
files: circom-artifacts-v${{ env.VERSION }}.zip
tag_name: ${{ github.ref }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

# Commit version bump if needed
- name: Commit version bump
if: github.event_name == 'push' && github.ref == 'refs/heads/main' && env.NEW_VERSION != env.CURRENT_VERSION
run: |
git config --local user.email "github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git add package.json
git commit -m "chore: bump version to ${{ env.NEW_VERSION }} [skip ci]"
git push
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

0 comments on commit 77b2d51

Please sign in to comment.