Merge remote-tracking branch 'rescript/master' into v12-post

Author: fhammerschmidt

.env

@@ -1,2 +1,2 @@
-VERSION_LATEST="v11.0.0"
-VERSION_NEXT="v12.0.0"
+VITE_VERSION_LATEST="v11.0.0"
+VITE_VERSION_NEXT="v12.0.0"

.github/workflows/pull-request.yml

@@ -10,6 +10,6 @@ jobs:
           node-version-file: ".node-version"
           cache: npm
       - run: npm ci
-      - run: npx rescript
+      - run: npm run res:build
       - run: npm test
       - run: npm run ci:format

.gitignore

@@ -14,10 +14,8 @@ index_data/*.json
 _tempFile.cmi
 _tempFile.cmj
 _tempFile.cmt
-
-# these docs are checked in, but we consider them frozen.
-# pages/docs/manual/v8.0.0/
-# pages/docs/manual/v9.0.0/
+_tempFile.res
+temp
 
 .bsb.lock
 .merlin
@@ -35,4 +33,13 @@ public/llms/react/**/llm*.txt
 pages/docs/**/**/llms.mdx
 
 public/playground-bundles/
-public/_redirects
+!public/_redirects
+
+
+dist
+build
+.react-router
+mdx-manifest.json
+
+app/**/*.mjs
+!_shims.mjs

.node-version

@@ -1 +1 @@
-22.11.0
+22.16.0

.prettierignore

@@ -1 +1,45 @@
+!_shims.mjs
+!public/_redirects
+.DS_Store
+.next/
+.react-router
+*.swo
+*.swp
+app/**/*.mjs
+build
 data/api/**/*.json
+dist
+index_data/*.json
+node_modules/
+out/
+public/playground-bundles/
+
+# Generated via update-index script
+public/blog/feed.xml
+
+
+# Generated via test examples script
+_tempFile.cmi
+_tempFile.cmj
+_tempFile.cmt
+_tempFile.res
+temp
+
+
+.bsb.lock
+.merlin
+lib/
+
+.vercel
+
+src/**/*.mjs
+scripts/gendocs.mjs
+scripts/generate_*.mjs
+
+# Generated via generate-llms script
+public/llms/manual/**/llm*.txt
+public/llms/react/**/llm*.txt
+pages/docs/**/**/llms.mdx
+
+# prettier refuses to not mess up the installation table
+markdown-pages/docs/manual/installation.mdx

README.md

@@ -153,7 +153,7 @@ In case you are a blog author, please refer to our [guide on writing blog posts]
 In case your company is a user of ReScript and wants to be displayed on our front page ("Trusted by our users" section), do the following:
 
 - Get your logo as a black / white `.svg` version and use `#979AAD` as a fill color (check out the existing logos on our front page).
-- Put your logo into the [`public/static/lp`](./public/static/lp) folder; the file should be named after your company.
+- Put your logo into the [`app/public/lp`](./app/public/lp) folder; the file should be named after your company.
 - Open [src/common/OurUsers.res](./src/common/OurUsers.res) and add your info
 - Commit, push, and open a PR.