Skipping push as it seems expensive and may cause delays

... no bypasses for direct commit for those changes anyway
This commit is contained in:
Dirk Wetter 2025-11-10 12:29:05 +01:00
parent 2fcd01c693
commit d4cc41405f

View File

@ -1,6 +1,6 @@
--- ---
name: Shellcheck name: Shellcheck
on: [push, pull_request] on: [pull_request]
permissions: permissions:
contents: read contents: read