Make the secrets optional. (#3966)

2026-11-04 10:33:45 +00:00 · 2025-04-01 16:14:05 +01:00
parent 620616da63
commit 6a8f35db9c
8 changed files with 32 additions and 36 deletions
@@ -17,6 +17,7 @@ included:
 excluded:
  - "*/Sources/Generated/*"
  - Tools/Sources # Our command-line tools use a lot of print commands.
+  - Secrets

 line_length:
  warning: 250