Skip to content
Lint

Don't include PR title inside head/base commits (#231) #86

Sign in to view logs

Don't include PR title inside head/base commits (#231)

Don't include PR title inside head/base commits (#231) #86

Triggered via push January 3, 2024 06:59
@ezyangezyang
pushed 3793b52
master
Status Success
Total duration 28s
Artifacts –

lint.yml

on: push
Matrix: lint
Fit to window
Zoom out
Zoom in