Skip to content
PR Title Lint

feat: Lint pr titles #1

Sign in to view logs

feat: Lint pr titles

feat: Lint pr titles #1

Triggered via pull request July 25, 2024 23:05
@yihuiliaoyihuiliao
opened #6770
lint-pr-titles
Status Success
Total duration 2m 3s
Artifacts –

lint-pr-titles.yaml

on: pull_request
Lint PR Title
1m 55s
Lint PR Title
Fit to window
Zoom out
Zoom in