From 3c285c82638c5132e3ca5dd2104e8a7437235115 Mon Sep 17 00:00:00 2001
From: Joris Bertomeu <jbertomeu@ics.fr>
Date: Tue, 1 Oct 2024 11:49:21 +0200
Subject: [PATCH] Add CI Workflow

---
 {workflows => .gitea/workflows}/ci.yaml | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename {workflows => .gitea/workflows}/ci.yaml (100%)

diff --git a/workflows/ci.yaml b/.gitea/workflows/ci.yaml
similarity index 100%
rename from workflows/ci.yaml
rename to .gitea/workflows/ci.yaml