Grammar: allow empty record type #22
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: Release | |
on: | |
push: | |
branches: | |
- master | |
jobs: | |
release: | |
name: Build release artifacts | |
runs-on: ubuntu-20.04 | |
env: | |
REPO_NAME: ${{github.event.repository.name}} | |
permissions: | |
contents: write | |
steps: | |
- name: Checkout repository | |
uses: actions/checkout@v4 | |
with: | |
ref: 'release' | |
# Don't do a sparse checkout because we need to | |
# create and push new commits: | |
fetch-depth: '0' | |
- name: Checkout master state | |
run: git checkout origin/master -- . | |
- name: Set up tree-sitter CLI | |
uses: tree-sitter/setup-action/cli@v1 | |
- name: Install parser dependencies | |
run: |- | |
JQ_SCRIPT='.dependencies | del(."node-addon-api", ."node-gyp-build") | length > 0' | |
if jq -e "$JQ_SCRIPT" package.json >/dev/null; then | |
npm i --omit dev --omit peer --omit optional | |
fi | |
- name: Generate parser | |
run: tree-sitter generate | |
- name: Run Unit-Tests | |
run: tree-sitter test | |
- name: Parse example files | |
run: bash parse-all-examples.sh | |
- name: Push to Release Branch | |
shell: bash | |
run: |- | |
rm .gitignore | |
mv release.gitignore .gitignore | |
git config user.name "GitHub Actions Bot" | |
git config user.email "<>" | |
git add --all | |
git commit -m "Release master at ${{ github.sha }}" | |
git push | |
# - name: Push to Release Branch | |
# uses: s0/git-publish-subdir-action@develop | |
# env: | |
# REPO: self | |
# BRANCH: release | |
# FOLDER: . | |
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} |