Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-07 22:45:34 +01:00
Code Issues Projects Releases Packages Wiki Activity

ci: Don't give lint job secrets (#38504)

Browse source 
The lint workflow doesn't seem to use any secrets, so we shouldn't pass
them.

Testing: [mach
try](https://github.com/servo/servo/actions/runs/16784528217/job/47531648483)

Signed-off-by: Jonathan Schwender <schwenderjonathan@gmail.com>
This commit is contained in:
Jonathan Schwender 2025-08-07 05:45:14 +02:00 • committed by GitHub
parent a99ad240a0
commit edf80576d5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.github/workflows/dispatch-workflow.yml vendored
View file

@ -75,8 +75,8 @@ jobs:
lint:
if: ${{ inputs.workflow == 'lint' }}
name: Lint
# Note: The lint workflow does not need access to any secrets.
uses: ./.github/workflows/lint.yml
secrets: inherit
android:
if: ${{ inputs.workflow == 'android' }}