From ae1d9c5dfa81a79f4c3f7c1c96f952376bf91cf0 Mon Sep 17 00:00:00 2001
From: Ayrat Hudaygulov <szer.penguin@gmail.com>
Date: Mon, 2 Oct 2023 19:34:49 +0100
Subject: [PATCH] added global.json

---
 Dockerfile  | 3 ++-
 global.json | 5 +++++
 2 files changed, 7 insertions(+), 1 deletion(-)
 create mode 100644 global.json

diff --git a/Dockerfile b/Dockerfile
index fa63fa1..a268be4 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,8 +1,9 @@
-FROM mcr.microsoft.com/dotnet/sdk:7.0 as build-env
+FROM mcr.microsoft.com/dotnet/sdk:7.0.401-jammy as build-env
 WORKDIR /src/VahterBanBot
 COPY src/VahterBanBot/VahterBanBot.fsproj .
 RUN dotnet restore
 COPY src/VahterBanBot .
+COPY global.json .
 RUN dotnet publish -c Release -o /publish
 
 FROM mcr.microsoft.com/dotnet/aspnet:7.0 as runtime
diff --git a/global.json b/global.json
new file mode 100644
index 0000000..24caabe
--- /dev/null
+++ b/global.json
@@ -0,0 +1,5 @@
+{
+  "sdk": {
+    "version": "7.0.401"
+  }
+}
\ No newline at end of file