Skip to content

Infra: change <article> to <main> (GH-4996) #11013

Infra: change <article> to <main> (GH-4996)

Infra: change <article> to <main> (GH-4996) #11013

Triggered via push June 11, 2026 09:00
Status Success
Total duration 21s
Artifacts

lint.yml

on: push
Run pre-commit
17s
Run pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
Run pre-commit
prek exited with code 1
Run pre-commit
Input 'extra_args' has been deprecated with message: The extra_args input has been renamed to extra-args. Update your workflow.
Run pre-commit
Input 'extra_args' has been deprecated with message: The extra_args input has been renamed to extra-args. Update your workflow.