Skip to content
Check workflows

[Merged by Bors] - feat: check for PR titles which do not start with "feat" etc. #3388

Sign in to view logs

[Merged by Bors] - feat: check for PR titles which do not start with "feat" etc.

[Merged by Bors] - feat: check for PR titles which do not start with "feat" etc. #3388

Triggered via pull request September 11, 2025 23:52
@bryangingechenbryangingechen
synchronize #29512
grunweg:badtitles-basic
Status Success
Total duration 20s
Artifacts –

actionlint.yml

on: pull_request
actionlint
14s
actionlint
check workflows generated by build.in.yml
13s
check workflows generated by build.in.yml
Fit to window
Zoom out
Zoom in