Skip to content

[Community] [Point and Orbit] Add the ability to point towards an angle (useful for gamepads) #1137

[Community] [Point and Orbit] Add the ability to point towards an angle (useful for gamepads)

[Community] [Point and Orbit] Add the ability to point towards an angle (useful for gamepads) #1137

Workflow file for this run

name: Build of the database
on:
pull_request:
types: [opened, synchronize]
jobs:
rebuild-database:
# Only run it on extensions submissions (tag is ensured via the new issue form)
if: ${{ contains(github.event.pull_request.labels.*.name, '✨ New extension') || contains(github.event.pull_request.labels.*.name, '🔄 Extension update') }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- name: Rebuild the database
run: |
npm install
echo 'BUILD_LOGS<<EOF' >> $GITHUB_ENV
node scripts/generate-extensions-registry.js --disable-exit-code >> $GITHUB_ENV
echo 'EOF' >> $GITHUB_ENV
- name: Notify build errors
if: ${{ !contains(env.BUILD_LOGS, 'successfully updated') }}
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
gh pr comment ${{ github.event.pull_request.number }} --body "Errors were detected in this submission:
\`\`\`${{ env.BUILD_LOGS }}
\`\`\`"