From 397b1b869828e885a3da7f4844db0ef9b99afe8f Mon Sep 17 00:00:00 2001
From: Hamza Remmal <hamza@remmal.net>
Date: Tue, 28 Oct 2025 15:36:07 +0100
Subject: [PATCH] fix: less logs in the CI workflow

---
 .github/workflows/stdlib.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/stdlib.yaml b/.github/workflows/stdlib.yaml
index 68f77761a8a3..3bcac366f433 100644
--- a/.github/workflows/stdlib.yaml
+++ b/.github/workflows/stdlib.yaml
@@ -10,6 +10,7 @@ permissions:
   contents: read
 
 env:
+  DOTTY_CI_RUN: true
   DEVELOCITY_ACCESS_KEY: ${{ secrets.DEVELOCITY_ACCESS_KEY }}
 
 jobs: