Merge pull request #482 from dedis/update_linter

Bumping go version for linter to 1.20
dedis · Mar 9, 2023 · a008b2d · a008b2d
2 parents 5c64329 + 415a199
commit a008b2d
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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