Skip to content

chore: fix EditorConfig lint errors (issue #8087) #13085

chore: fix EditorConfig lint errors (issue #8087)

chore: fix EditorConfig lint errors (issue #8087) #13085

Triggered via pull request September 17, 2025 13:07
@stdlib-botstdlib-bot
labeled #8092
Status Skipped
Total duration 2s
Artifacts

label_commands.yml

on: pull_request_target
Auto-fix lint errors  /  Fix lint errors
Auto-fix lint errors / Fix lint errors
Check for required files  /  Check Required Files
Check for required files / Check Required Files
Merge changes from develop branch into this PR  /  Merge Develop into PR Branch
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
Rebase this PR on top of develop branch / Rebase PR Branch onto Develop
Update copyright header years  /  Update Copyright Years
Update copyright header years / Update Copyright Years
Fit to window
Zoom out
Zoom in