From 74746a096ceb117173e7d6e5b2fa44b93178a5fe Mon Sep 17 00:00:00 2001 From: Jakob Ackermann Date: Wed, 17 Sep 2025 14:20:22 +0200 Subject: [PATCH] [monorepo] rebuild lezer output as part of 'make install' (#28545) * [monorepo] rebuild lezer output as part of 'make install' * [monorepo] run 'make install' with high concurrency in Jenkins * [monorepo] rebuild lezer parser output once * [monorepo] headless npm run * [web] update docs for lezer GitOrigin-RevId: f385bb8a9cdab1a6bfc28a8843b5128ceec364ec --- server-ce/test/Jenkinsfile | 2 +- .../js/features/source-editor/lezer-latex/README.md | 6 +++++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/server-ce/test/Jenkinsfile b/server-ce/test/Jenkinsfile index e0e1dbf99e..b979e58f69 100644 --- a/server-ce/test/Jenkinsfile +++ b/server-ce/test/Jenkinsfile @@ -48,7 +48,7 @@ pipeline { parallel { stage('Install deps') { steps { - sh 'make install' + sh 'make install -j10' sh 'make -C server-ce/test npm_install_in_docker' script { job_npm_install_done = true } } diff --git a/services/web/frontend/js/features/source-editor/lezer-latex/README.md b/services/web/frontend/js/features/source-editor/lezer-latex/README.md index b91358f490..2da27c3b61 100644 --- a/services/web/frontend/js/features/source-editor/lezer-latex/README.md +++ b/services/web/frontend/js/features/source-editor/lezer-latex/README.md @@ -38,7 +38,11 @@ The parser is written in a "grammar" file, (and a "tokens" file with custom toke From the monorepo root: -``` sh +```sh +# automatic (on changes) +make install + +# manually bin/npm -w services/web run 'lezer-latex:generate' ```