From 07f9bf8aa8957cab4f8a47c1a943bf7fef968288 Mon Sep 17 00:00:00 2001
From: Jaco van de Pol <jaco@cs.au.dk>
Date: Thu, 31 Oct 2024 21:51:07 +0100
Subject: [PATCH] Tests.yml: separate build from test

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

diff --git a/.github/workflows/Tests.yml b/.github/workflows/Tests.yml
index a21d1270..845b2e92 100644
--- a/.github/workflows/Tests.yml
+++ b/.github/workflows/Tests.yml
@@ -20,5 +20,7 @@ jobs:
           chmod +x ./ltsminreconf
           ./ltsminreconf
           ./configure --disable-dependency-tracking
+      - name: Build LTSmin
+        run: make
       - name: Run tests
         run: make check