Skip to content
Lint PR title

chore: merge stable v1.12 back to unstable #2517

Sign in to view logs

chore: merge stable v1.12 back to unstable

chore: merge stable v1.12 back to unstable #2517

Triggered via pull request November 9, 2023 07:45
@philknowsphilknows
edited #6100
Status Success
Total duration 14s
Artifacts –

lint-pr-title.yml

on: pull_request_target
Validate PR title
5s
Validate PR title
Fit to window
Zoom out
Zoom in