Honor header: false to disable file header updates (#900)

This commit is contained in:
Glenn Jocher
2026-09-09 00:40:40 +08:00
committed by GitHub
parent 1560a284d3
commit d91a38b0bc
+2 -2
View File
@@ -65,7 +65,7 @@ inputs:
header:
description: "File header"
required: false
default: ""
default: "true"
brave_api_key:
description: "Brave API Key"
required: false
@@ -145,7 +145,7 @@ runs:
# File header ------------------------------------------------------------------------------------------------------
- name: File Header
if: github.event_name == 'pull_request' && (github.event.action == 'opened' || github.event.action == 'synchronize')
if: inputs.header != 'false' && github.event_name == 'pull_request' && (github.event.action == 'opened' || github.event.action == 'synchronize')
env:
HEADER: ${{ inputs.header }}
run: |