From ca21ec19edf37617030a7fedae8fe07fb5b7cfe5 Mon Sep 17 00:00:00 2001 From: Adrian Sieber Date: Thu, 13 Jun 2024 06:48:19 +0000 Subject: [PATCH] CI: Remove make installation step --- .github/workflows/run.yaml | 5 ----- 1 file changed, 5 deletions(-) diff --git a/.github/workflows/run.yaml b/.github/workflows/run.yaml index 069353a..47da6af 100644 --- a/.github/workflows/run.yaml +++ b/.github/workflows/run.yaml @@ -75,11 +75,6 @@ jobs: - name: Set up V run: brew install v - - name: Install Make - run: | - sudo apt update - sudo apt install make - - name: Run main benchmark run: make run