From 85cebcaec49ddbf78885ed245c8b914d8db42597 Mon Sep 17 00:00:00 2001
From: Linus Gasser <linus.gasser@epfl.ch>
Date: Thu, 9 Feb 2023 17:42:41 +0100
Subject: [PATCH] Bumping go version for linter to 1.20

---
 .github/workflows/go_lint.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/go_lint.yml b/.github/workflows/go_lint.yml
index 53bd6e84d..d9d9d5128 100644
--- a/.github/workflows/go_lint.yml
+++ b/.github/workflows/go_lint.yml
@@ -11,10 +11,10 @@ jobs:
   lint:
     runs-on: ubuntu-latest
     steps:
-      - name: Set up Go ^1.13 
+      - name: Set up Go ^1.20
         uses: actions/setup-go@v3
         with:
-          go-version: ^1.13
+          go-version: ^1.20
 
       - name: Check out code into the Go module directory
         uses: actions/checkout@v3