update version of .NET Core to 3.1

BayesWitnesses · May 8, 2020 · 86ee057 · 86ee057
1 parent 7626a60
commit 86ee057
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.travis/setup.sh b/.travis/setup.sh
@@ -7,7 +7,7 @@ if [[ $LANG == *"c_sharp"* ]] || [[ $LANG == *"visual_basic"* ]]; then
   wget -q https://packages.microsoft.com/config/ubuntu/$(lsb_release -rs)/packages-microsoft-prod.deb
   sudo dpkg -i packages-microsoft-prod.deb
   sudo apt-get update
-  sudo apt-get install --no-install-recommends -y dotnet-sdk-3.0
+  sudo apt-get install --no-install-recommends -y dotnet-sdk-3.1
 fi
 
 # Install PowerShell Core.

diff --git a/Dockerfile b/Dockerfile
@@ -22,7 +22,7 @@ RUN apt-get update && \
         python3.7-dev \
         openjdk-8-jdk \
         golang-go \
-        dotnet-sdk-3.0 \
+        dotnet-sdk-3.1 \
         powershell \
         r-base \
         php \