Merge branch 'master' into gus/seqt-head

fsprojects · Nov 11, 2024 · 3ab768c · 3ab768c
2 parents b953a0e + db45914
commit 3ab768c
Show file tree

Hide file tree

Showing 5 changed files with 1,926 additions and 116 deletions.
diff --git a/.config/dotnet-tools.json b/.config/dotnet-tools.json
@@ -3,7 +3,7 @@
   "isRoot": true,
   "tools": {
     "fable": {
-      "version": "4.5.0",
+      "version": "4.23.0",
       "commands": [
         "fable"
       ]