Never forget the github token

MatteoPologruto · MatteoPologruto · commit bc07b7d64018 · 2025-10-15T17:53:55.000+02:00
diff --git a/.github/workflows/checks.yaml b/.github/workflows/checks.yaml
@@ -31,6 +31,8 @@ jobs:
 
       - name: build
         run: task build # needed to download the embedded resources
+        env:
+          GH_TOKEN: ${{ secrets.ARDUINOBOT_TOKEN }}
 
       - uses: dprint/check@v2.2
         with:
