From 6b8a6b7e1ab827a44005fc56420aa5ac29c0feb3 Mon Sep 17 00:00:00 2001
From: Joshua Wendland <joshua.wendland@tum.de>
Date: Thu, 9 Nov 2023 19:47:52 +0100
Subject: [PATCH] bug fix again?

---
 .github/workflows/main.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6751f6f..63c25c0 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -59,6 +59,7 @@ jobs:
         run: |
           ls -la
           cat MAKEFILE
+          make -f MAKEFILE virtualenv
       - name: Install project
         run: |
           make virtualenv