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: