From ccf8075da76dd1cffbbf6c5b8a29f5b166abfe52 Mon Sep 17 00:00:00 2001
From: Lucas <lucas.morel@epita.fr>
Date: Thu, 2 Apr 2026 02:06:52 +0200
Subject: [PATCH] test n3

---
 .gitea/workflows/tets.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitea/workflows/tets.yaml b/.gitea/workflows/tets.yaml
index 28a07f9..6893433 100644
--- a/.gitea/workflows/tets.yaml
+++ b/.gitea/workflows/tets.yaml
@@ -15,7 +15,9 @@ jobs:
 
       - name: Installer GCC et Criterion sur Alpine
         # La commande apk fonctionne toujours car c'est un système Alpine
-        run: apk add --no-cache gcc musl-dev criterion-dev
+        run: |
+          apk add --no-cache gcc musl-dev
+          apk add --no-cache --repository=https://dl-cdn.alpinelinux.org/alpine/edge/testing criterion-dev
 
       - name: Compiler les tests
         run: >