Skip to content

chore: update to Theia CR 1.71.2 and modernize CI workflows (#57) #25

chore: update to Theia CR 1.71.2 and modernize CI workflows (#57)

chore: update to Theia CR 1.71.2 and modernize CI workflows (#57) #25

Workflow file for this run

name: JSONForms Property-View Build CI
on:
pull_request:
paths:
- '.github/workflows/build-ci.yml'
- 'example/**'
- 'jsonforms-property-view/**'
- 'package.json'
- '!**/*.md'
push:
branches:
- master
paths:
- '.github/workflows/build-ci.yml'
- 'example/**'
- 'jsonforms-property-view/**'
- 'package.json'
- '!**/*.md'
permissions:
contents: read
jobs:
verify:
runs-on: ubuntu-latest
timeout-minutes: 30
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
- name: Use Node.js 24.x
uses: actions/setup-node@6044e13b5dc448c55e2357c09f80417699197238 # v6.2.0
with:
node-version: 24.x
- name: Use Python 3.13
uses: actions/setup-python@a309ff8b426b58ec0e2a45f0f869d46889d02405 # v6.2.0
with:
python-version: '3.13'
- name: Install and Build
shell: bash
run: yarn
env:
NODE_OPTIONS: --max_old_space_size=4096
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- name: Lint with ESLint
run: yarn lint