fix: less logs in the CI workflow

hamzaremmal · hamzaremmal · commit 397b1b869828 · 2025-10-28T15:36:07.000+01:00
diff --git 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:
