From 5613bb91ea2c1fdc7b4807f6c736c321a72801a4 Mon Sep 17 00:00:00 2001
From: Christian Mouchet <christian.mouchet@epfl.ch>
Date: Tue, 17 May 2022 13:35:38 +0200
Subject: [PATCH] switched to Makefile-based jobs

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c529bb40..95cc3849 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -14,9 +14,9 @@ jobs:
       with:
         go-version: 1.17
     - name: Setup tools
-        run: make get_tools
+      run: make get_tools
     - name: Run Makefile checks
-        run: make static_checks
+      run: make static_checks
 
   tests:
     name: Run Go ${{ matrix.go }} tests