From b6ce1a92abfe35fb4bf9af455882dafb98d423a4 Mon Sep 17 00:00:00 2001
From: Volodymyr Savchenko <Volodymyr.Savchenko@epfl.ch>
Date: Wed, 14 Feb 2024 10:38:21 +0100
Subject: [PATCH] update

---
 .github/workflows/makefile.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
index f6d36b0..ded57c1 100644
--- a/.github/workflows/makefile.yml
+++ b/.github/workflows/makefile.yml
@@ -20,4 +20,4 @@ jobs:
       run: sudo apt-get install -y build-essential hugo      
 
     - name: Compile all
-      run: make
+      run: make -Bntology