Skip to content

Merge remote-tracking branch 'origin/main' into Common.SecondaryKey #1875

Merge remote-tracking branch 'origin/main' into Common.SecondaryKey

Merge remote-tracking branch 'origin/main' into Common.SecondaryKey #1875

Workflow file for this run

name: Rebuild JSON and MarkDown files
on: [push, workflow_dispatch]
jobs:
build:
runs-on: ubuntu-latest
strategy:
matrix:
node-version: [20.x]
steps:
- uses: actions/checkout@v4
with:
ref: ${{ github.head_ref }}
- name: Use Node.js ${{ matrix.node-version }}
uses: actions/setup-node@v4
with:
node-version: ${{ matrix.node-version }}
- name: Setup pandoc
uses: nikeee/setup-pandoc@v1
with:
pandoc-version: 3.1.12.2
- name: npm install, build, and test
run: |
npm ci
npm run build --if-present
git config user.name ${GITHUB_ACTOR}
git config user.email ${PUSHER_EMAIL}
git add vocabularies/*.md vocabularies/*.json examples/*.json
git diff-index --quiet HEAD vocabularies/*.md vocabularies/*.json examples/*.json || git commit -m "auto-refreshed"
git push
env:
CI: true
PUSHER_EMAIL: ${{ github.event.pusher.email }}