Update

NicoVIII · Nov 10, 2024 · 8a8ec99 · 8a8ec99
1 parent b87f626
commit 8a8ec99
Show file tree

Hide file tree

Showing 20 changed files with 3,227 additions and 3,304 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -3,28 +3,32 @@
   "isRoot": true,
   "tools": {
     "fable": {
-      "version": "4.1.4",
+      "version": "4.23.0",
       "commands": [
         "fable"
-      ]
+      ],
+      "rollForward": false
     },
     "paket": {
-      "version": "7.2.1",
+      "version": "8.0.3",
       "commands": [
         "paket"
-      ]
+      ],
+      "rollForward": false
     },
     "femto": {
-      "version": "0.19.0",
+      "version": "0.21.0",
       "commands": [
         "femto"
-      ]
+      ],
+      "rollForward": false
     },
     "fantomas": {
-      "version": "6.1.1",
+      "version": "6.3.16",
       "commands": [
         "fantomas"
-      ]
+      ],
+      "rollForward": false
     }
   }
 }
diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -1,33 +1,34 @@
-// For format details, see https://aka.ms/devcontainer.json. For config options, see the README at:
-// https://github.com/microsoft/vscode-dev-containers/tree/v0.191.1/containers/dotnet-fsharp
+// For format details, see https://aka.ms/devcontainer.json. For config options, see the
+// README at: https://github.com/devcontainers/templates/tree/main/src/dotnet-fsharp
 {
 	"name": "F# (.NET)",
-	"build": {
-		"dockerfile": "Dockerfile",
-		"args": {
-			"VERSION": "0.204.11",
-			"VARIANT": "7.0",
-			"NODE_VERSION": "lts/*",
-			"PNPM_VERSION": "^8.0.0"
-		}
+	// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
+	"image": "mcr.microsoft.com/devcontainers/dotnet:1-8.0-bookworm",
+	// Features to add to the dev container. More info: https://containers.dev/features.
+	"features": {
+		"ghcr.io/devcontainers/features/node:1": {}
 	},
+	// Configure tool-specific properties.
 	"customizations": {
+		// Configure properties specific to VS Code.
 		"vscode": {
-			// Set *default* container specific settings.json values on container create.
-			"settings": {
-				"FSharp.dotnetRoot": "/usr/bin"
-			},
 			// Add the IDs of extensions you want installed when the container is created.
 			"extensions": [
 				"editorconfig.editorconfig",
 				"Ionide.Ionide-fsharp",
 				"ms-dotnettools.csharp",
 				"github.copilot"
-			]
+			],
+			"settings": {
+				"FSharp.dotnetRoot": "/usr/bin"
+			}
 		}
 	},
 	// Use 'forwardPorts' to make a list of ports inside the container available locally.
 	// "forwardPorts": [],
 	// Use 'postCreateCommand' to run commands after the container is created.
-	"postCreateCommand": "dotnet run restore"
-}
+	"postCreateCommand": ".devcontainer/install_sass.sh",
+	"postStartCommand": "dotnet run restore"
+	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
+	// "remoteUser": "root"
+}
diff --git a/.devcontainer/install_sass.sh b/.devcontainer/install_sass.sh
@@ -0,0 +1,6 @@
+#!/bin/bash
+mkdir /tmp/sass \
+  && curl -sSL -o /tmp/sass/sass.tar.gz https://github.com/sass/dart-sass/releases/download/1.80.6/dart-sass-1.80.6-linux-x64.tar.gz \
+  && tar xzvf /tmp/sass/sass.tar.gz -C /tmp/sass \
+  && sudo mv /tmp/sass/dart-sass/* /usr/local/bin \
+  && rm -r /tmp/sass
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,16 @@
+# To get started with Dependabot version updates, you'll need to specify which
+# package ecosystems to update and where the package manifests are located.
+# Please see the documentation for more information:
+# https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
+# https://containers.dev/guide/dependabot
+
+version: 2
+updates:
+ - package-ecosystem: "devcontainers"
+   directory: "/"
+   schedule:
+     interval: weekly
+ - package-ecosystem: "github-actions"
+   directory: "/"
+   schedule:
+     interval: weekly
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        dotnet: [7.0.305]
+        dotnet: [8.0.403]
     runs-on: ${{ matrix.os }}
 
     steps:
@@ -24,15 +24,15 @@ jobs:
       - name: Setup sass
         run: |
           mkdir -p $GITHUB_WORKSPACE/bin/sass_arch
-          curl -sSL -o $GITHUB_WORKSPACE/bin/sass_arch/sass.tar.gz https://github.com/sass/dart-sass/releases/download/1.43.4/dart-sass-1.43.4-linux-x64.tar.gz
+          curl -sSL -o $GITHUB_WORKSPACE/bin/sass_arch/sass.tar.gz https://github.com/sass/dart-sass/releases/download/1.80.6/dart-sass-1.80.6-linux-x64.tar.gz
           tar xzvf $GITHUB_WORKSPACE/bin/sass_arch/sass.tar.gz -C $GITHUB_WORKSPACE/bin/sass_arch
-          mv $GITHUB_WORKSPACE/bin/sass_arch/dart-sass/sass $GITHUB_WORKSPACE/bin/
+          mv $GITHUB_WORKSPACE/bin/sass_arch/dart-sass/* $GITHUB_WORKSPACE/bin/
           rm -r $GITHUB_WORKSPACE/bin/sass_arch
           echo "$GITHUB_WORKSPACE/bin" >> $GITHUB_PATH
       - name: Setup pnpm
         uses: pnpm/action-setup@v2
         with:
-          version: 8.6.9
+          version: 9.12.3
       - name: Restore
         run: dotnet run restore
       - name: Run build

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -10,7 +10,7 @@ jobs:
     strategy:
       matrix:
         os: [ubuntu-latest]
-        dotnet: [7.0.305]
+        dotnet: [8.0.403]
     runs-on: ${{ matrix.os }}
 
     steps:
@@ -30,13 +30,13 @@ jobs:
           mkdir -p $GITHUB_WORKSPACE/bin/sass_arch
           curl -sSL -o $GITHUB_WORKSPACE/bin/sass_arch/sass.tar.gz https://github.com/sass/dart-sass/releases/download/1.43.4/dart-sass-1.43.4-linux-x64.tar.gz
           tar xzvf $GITHUB_WORKSPACE/bin/sass_arch/sass.tar.gz -C $GITHUB_WORKSPACE/bin/sass_arch
-          mv $GITHUB_WORKSPACE/bin/sass_arch/dart-sass/sass $GITHUB_WORKSPACE/bin/
+          mv $GITHUB_WORKSPACE/bin/sass_arch/dart-sass/* $GITHUB_WORKSPACE/bin/
           rm -r $GITHUB_WORKSPACE/bin/sass_arch
           echo "$GITHUB_WORKSPACE/bin" >> $GITHUB_PATH
       - name: Setup pnpm
-        uses: pnpm/action-setup@v2.4
+        uses: pnpm/action-setup@v2
         with:
-          version: 8.6.9
+          version: 9.12.3
       - name: Restore
         run: dotnet run restore
       - name: Get Changelog Entry