From fbf34e273c819d4e8ab10a77e22fd2f43a429a24 Mon Sep 17 00:00:00 2001
From: lauener <kilian.lauener@epfl.ch>
Date: Mon, 26 Feb 2024 16:08:49 +0100
Subject: [PATCH] temp test

---
 .github/workflows/go_lint.yml | 14 --------------
 Makefile                      |  4 ++--
 2 files changed, 2 insertions(+), 16 deletions(-)

diff --git a/.github/workflows/go_lint.yml b/.github/workflows/go_lint.yml
index 992760580..fba21d22e 100644
--- a/.github/workflows/go_lint.yml
+++ b/.github/workflows/go_lint.yml
@@ -21,17 +21,3 @@ jobs:
         with:
           ref: ${{ github.event.pull_request.head.sha }}
           fetch-depth: 0
-        
-      - name: Tidy
-        run: go mod tidy && [ -z "$(git status -s)" ]
-
-      - name: debug
-        run: go env
-
-      - name: Lint
-        run: |
-          go install github.com/golangci/golangci-lint/cmd/golangci-lint@v1.56.2
-          ${GOBIN}/golangci-lint run
-
-      - name: Vet
-        run: make vet
diff --git a/Makefile b/Makefile
index 5f81fb9ff..fa9e80910 100644
--- a/Makefile
+++ b/Makefile
@@ -20,5 +20,5 @@ coverage: tidy
 
 # target to run all the possible checks; it's a good habit to run it before
 # pushing code
-check: lint vet test
-	echo "check done"
+#check: lint vet test
+#	echo "check done"