Merge remote-tracking branch 'origin/main' into mp/new-jet

Author: mortenpi

.github/workflows/CI.yml

@@ -92,7 +92,7 @@ jobs:
       - uses: actions/checkout@v5
       - uses: julia-actions/setup-julia@v2
         with:
-          version: "1"
+          version: "1.11"
       - name: "Install dependencies"
         shell: julia --color=yes {0}
         run: |