From f72a4e20c5a162176767e47e2d6f90b835de6c66 Mon Sep 17 00:00:00 2001
From: Erki <erki@skullnet.me>
Date: Fri, 28 Feb 2025 13:28:59 +0200
Subject: [PATCH] WIP10: maybe fixing CI isn't that hard

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

diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml
index be0aa43..d45b4eb 100644
--- a/.gitea/workflows/ci.yml
+++ b/.gitea/workflows/ci.yml
@@ -14,6 +14,7 @@ jobs:
           cmake . -B${{runner.workspace}}/build \
                 -G"Ninja" \
                 -DCMAKE_BUILD_TYPE=Release \
+                -DSKULLC_WITH_CORO=ON \
                 -DSKULLC_WITH_TESTS=ON
       
       - name: Build tests + lib
@@ -34,6 +35,7 @@ jobs:
             cmake . -B${{runner.workspace}}/build \
                 -G"Ninja" \
                 -DCMAKE_BUILD_TYPE=Release \
+                -DSKULLC_WITH_CORO=ON \
                 -DSKULLC_WITH_DOCS=ON
 
         - name: Build docs