chore: fix EditorConfig lint errors (issue #7239) #10000
Triggered via pull request
June 8, 2025 09:35
stdlib-bot
labeled
#7272
Status
Skipped
Total duration
1s
Artifacts
–
label_commands.yml
on: pull_request_target
Manage labels
0s
Auto-fix lint errors
/
Fix lint errors
Check for required files
/
Check Required Files
Merge changes from develop branch into this PR
/
Merge Develop into PR Branch
Rebase this PR on top of develop branch
/
Rebase PR Branch onto Develop
Update copyright header years
/
Update Copyright Years
Remove in-progress label
0s