Merge branch 'main' into dependabot/github_actions/trufflesecurity/trufflehog-3.93.7

Author: hyperpolymath

.github/workflows/codeql.yml

@@ -29,12 +29,12 @@ jobs:
         uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
 
       - name: Initialize CodeQL
-        uses: github/codeql-action/init@89a39a4e59826350b863aa6b6252a07ad50cf83e # v3.28.1
+        uses: github/codeql-action/init@0d579ffd059c29b07949a3cce3983f0780820c98 # v3.28.1
         with:
           languages: ${{ matrix.language }}
           build-mode: ${{ matrix.build-mode }}
 
       - name: Perform CodeQL Analysis
-        uses: github/codeql-action/analyze@89a39a4e59826350b863aa6b6252a07ad50cf83e # v3.28.1
+        uses: github/codeql-action/analyze@0d579ffd059c29b07949a3cce3983f0780820c98 # v3.28.1
         with:
           category: "/language:${{ matrix.language }}"

.github/workflows/scorecard.yml

@@ -27,6 +27,6 @@ jobs:
           results_format: sarif
 
       - name: Upload results
-        uses: github/codeql-action/upload-sarif@89a39a4e59826350b863aa6b6252a07ad50cf83e # v3.31.8
+        uses: github/codeql-action/upload-sarif@0d579ffd059c29b07949a3cce3983f0780820c98 # v3.31.8
         with:
           sarif_file: results.sarif

ada-ecosystem/ada-loom-registry/examples/web-project-deno.json

@@ -8,7 +8,7 @@
     "test": "deno test --allow-all"
   },
   "imports": {
-    "rescript": "npm:rescript@^12.1.0",
+    "rescript": "^12.0.0",
     "@rescript/core": "npm:@rescript/core@^1.6.0",
     "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
     "proven/": "../proven/bindings/rescript/src/"

coq-ecosystem/coq-jr/deno.json

@@ -5,13 +5,20 @@
     "build:res": "npx rescript build",
     "clean:res": "npx rescript clean",
     "dev": "deno run --allow-net --allow-read server.ts",
-    "serve": "deno run --allow-net --allow-read server.ts"
+    "serve": "deno run --allow-net --allow-read server.ts",
+    "res:build": "rescript build",
+    "res:clean": "rescript clean",
+    "res:watch": "rescript build -w"
   },
   "imports": {
     "@std/http": "jsr:@std/http@^1.0.0",
-    "@std/path": "jsr:@std/path@^1.0.0"
+    "@std/path": "jsr:@std/path@^1.0.0",
+    "rescript": "^12.0.0"
   },
   "compilerOptions": {
-    "lib": ["deno.window", "dom"]
+    "lib": [
+      "deno.window",
+      "dom"
+    ]
   }
-}
+}

coq-ecosystem/coq-jr/examples/web-project-deno.json

@@ -8,7 +8,7 @@
     "test": "deno test --allow-all"
   },
   "imports": {
-    "rescript": "npm:rescript@^12.1.0",
+    "rescript": "^12.0.0",
     "@rescript/core": "npm:@rescript/core@^1.6.0",
     "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
     "proven/": "../proven/bindings/rescript/src/"

coq-ecosystem/coq-jr/package-lock.json

@@ -9,7 +9,7 @@
     "res:watch": "rescript build -w"
   },
   "devDependencies": {
-    "rescript": "^11.1.0"
+    "rescript": "^12.0.0"
   },
   "dependencies": {}
 }

coq-ecosystem/coq-jr/package.json

@@ -8,7 +8,7 @@
     "test": "deno test --allow-all"
   },
   "imports": {
-    "rescript": "npm:rescript@^12.1.0",
+    "rescript": "^12.0.0",
     "@rescript/core": "npm:@rescript/core@^1.6.0",
     "safe-dom/": "https://raw.githubusercontent.com/hyperpolymath/rescript-dom-mounter/main/src/",
     "proven/": "../proven/bindings/rescript/src/"

examples/web-project-deno.json

@@ -1 +1 @@
-Subproject commit afff484f5f2a1e16db8eebd1530bba942d16afee
+Subproject commit 250cd933fddf7a8e334281f10b65ab9fcec32fd2

julia-ecosystem

@@ -25,3 +25,8 @@ lint:
 # Clean build artifacts
 clean:
     @echo "Clean not configured yet"
+
+# [AUTO-GENERATED] Multi-arch / RISC-V target
+build-riscv:
+	@echo "Building for RISC-V..."
+	cross build --target riscv64gc-unknown-linux-gnu