Merge remote branch 'origin/master' into edge

AdaCore · Mar 19, 2024 · 38685b3 · 38685b3
2 parents 9a1d2b8 + ab6733b
commit 38685b3
Show file tree

Hide file tree

Showing 12 changed files with 4,032 additions and 4,834 deletions.
diff --git a/Makefile b/Makefile
@@ -145,8 +145,8 @@ ifneq ($(npm_config_offline),true)
 	cd integration/vscode/ada; LD_LIBRARY_PATH= npm install --no-audit
 	cd integration/vscode/ada; LD_LIBRARY_PATH= npm run check-licenses
 endif
-	cd integration/vscode/ada; LD_LIBRARY_PATH= npm run cilint
 	cd integration/vscode/ada; LD_LIBRARY_PATH= npm run compile
+	cd integration/vscode/ada; LD_LIBRARY_PATH= npm run cilint
 	@echo Now run:
 	@echo code --extensionDevelopmentPath=`pwd`/integration/vscode/ada/ `pwd`