Merge remote-tracking branch 'upstream/mlscript' into overloading-constraints

Author: auht

.github/workflows/scala.yml

@@ -22,6 +22,6 @@ jobs:
     - name: Install TypeScript
       run: npm ci
     - name: Run tests
-      run: sbt test
+      run: sbt -J-Xmx4096M -J-Xss4M test
     - name: Check no changes
       run: git diff-files -p --exit-code

CONTRIBUTING.md

@@ -13,7 +13,7 @@ It is okay for draft PRs to contain work-in-progress changes that are not expect
 You can ask my opinion on your changes or on specific design considerations,
 but you should not expect a full and detailed review from me if your PR is a draft.
 
-### For Non-Drafy PRs
+### For Non-Draft PRs
 
 I am an extremely detail-oriented person,
 and I will usually look at every single line of changed source code in your PR.