Merge remote-tracking branch 'origin/develop' into wip/jtulach/Equals…

…AndInfo10679
enso-org · Sep 24, 2024 · 5b38e1a · 5b38e1a
2 parents 29810fb + edb4a11
commit 5b38e1a
Show file tree

Hide file tree

Showing 390 changed files with 9,247 additions and 5,861 deletions.
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
@@ -30,7 +30,7 @@ Cargo.toml
 /build.sbt @4e6 @jaroslavtulach @hubertp @Akirathan
 /distribution/ @4e6 @jdunkerley @radeusgd @GregoryTravis @AdRiley @marthasharkey
 /engine/ @4e6 @jaroslavtulach @hubertp @Akirathan
-/project/ @4e6 @jaroslavtulach @hubertp
+/project/ @4e6 @jaroslavtulach @hubertp @Akirathan
 /tools/ @4e6 @jaroslavtulach @radeusgd @hubertp
 
 # Enso Libraries

diff --git a/.github/workflows/changelog.yml b/.github/workflows/changelog.yml
@@ -20,7 +20,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:

diff --git a/.github/workflows/engine-benchmark.yml b/.github/workflows/engine-benchmark.yml
@@ -22,7 +22,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:

diff --git a/.github/workflows/engine-nightly.yml b/.github/workflows/engine-nightly.yml
@@ -23,7 +23,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -69,7 +69,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -113,7 +113,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -158,7 +158,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -203,7 +203,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -248,7 +248,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -305,7 +305,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -360,7 +360,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -416,7 +416,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -472,7 +472,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -528,7 +528,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -588,7 +588,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -646,7 +646,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -705,7 +705,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -764,7 +764,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:

diff --git a/.github/workflows/extra-nightly-tests.yml b/.github/workflows/extra-nightly-tests.yml
@@ -23,7 +23,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -84,7 +84,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:

diff --git a/.github/workflows/gui-tests.yml b/.github/workflows/gui-tests.yml
@@ -37,7 +37,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -80,7 +80,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -123,7 +123,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -166,7 +166,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:

diff --git a/.github/workflows/gui.yml b/.github/workflows/gui.yml
@@ -25,7 +25,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -67,7 +67,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -110,7 +110,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -165,7 +165,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -219,7 +219,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -274,7 +274,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -331,7 +331,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -350,7 +350,7 @@ jobs:
         run: ./run git-clean
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      - run: ./run ide build --backend-source current-ci-run --gui-upload-artifact false
+      - run: ./run ide build --backend-source current-ci-run --gui-upload-artifact false --gui-sign-artifacts false
         env:
           ENSO_CLOUD_API_URL: ${{ vars.ENSO_CLOUD_API_URL }}
           ENSO_CLOUD_CHAT_URL: ${{ vars.ENSO_CLOUD_CHAT_URL }}
@@ -387,7 +387,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -406,7 +406,7 @@ jobs:
         run: ./run git-clean
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      - run: ./run ide build --backend-source current-ci-run --gui-upload-artifact false
+      - run: ./run ide build --backend-source current-ci-run --gui-upload-artifact false --gui-sign-artifacts false
         env:
           APPLEID: ${{ secrets.APPLE_NOTARIZATION_USERNAME }}
           APPLEIDPASS: ${{ secrets.APPLE_NOTARIZATION_PASSWORD }}
@@ -451,7 +451,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with:
@@ -470,7 +470,7 @@ jobs:
         run: ./run git-clean
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      - run: ./run ide build --backend-source current-ci-run --gui-upload-artifact false
+      - run: ./run ide build --backend-source current-ci-run --gui-upload-artifact false --gui-sign-artifacts false
         env:
           ENSO_CLOUD_API_URL: ${{ vars.ENSO_CLOUD_API_URL }}
           ENSO_CLOUD_CHAT_URL: ${{ vars.ENSO_CLOUD_CHAT_URL }}

diff --git a/.github/workflows/promote.yml b/.github/workflows/promote.yml
@@ -31,7 +31,7 @@ jobs:
         name: Installing wasm-pack
         uses: jetli/[email protected]
         with:
-          version: v0.10.2
+          version: v0.12.1
       - name: Expose Artifact API and context information.
         uses: actions/github-script@v7
         with: