Update packages

Author: hyazinthh

.config/dotnet-tools.json

@@ -0,0 +1,13 @@
+{
+  "version": 1,
+  "isRoot": true,
+  "tools": {
+    "paket": {
+      "version": "10.0.0-alpha011",
+      "commands": [
+        "paket"
+      ],
+      "rollForward": false
+    }
+  }
+}

.github/workflows/build.yml

@@ -0,0 +1,19 @@
+name: Build
+
+on: 
+  push:
+    paths-ignore:
+    - 'README.md'
+    - 'docs/'
+  pull_request:
+    paths-ignore:
+    - 'README.md'
+    - 'docs/'
+
+jobs:
+  build:
+    runs-on: windows-latest
+    steps:
+    - uses: actions/checkout@v4
+    - name: Build
+      run: .\build.cmd

.gitignore

@@ -14,4 +14,5 @@ bin/Debug
 /Aardvark.log
 /src/FunctionalFrontend/*.domaincache
 /.paket
-/.fake
+/.fake
+**/.idea

.travis.yml

@@ -1,22 +1,7 @@
 @echo off
-SETLOCAL
-PUSHD %~dp0
-
-IF NOT exist .paket\paket.exe (
-	dotnet tool install Paket --tool-path .paket
-)
-
-if NOT exist paket.lock (
-    echo No paket.lock found, running paket install.
-    .paket\paket.exe install
-)
-
-.paket\paket.exe restore
-if errorlevel 1 (
-  exit /b %errorlevel%
-)
-
-dotnet packages\build\fake-cli\tools\netcoreapp2.1\any\fake-cli.dll build %* 
-
+dotnet tool restore
+dotnet paket restore
 
+IF "%1"=="restore" exit /B
 
+dotnet build src\Walkthrough.sln