Lint pull request title

ci: rename CI workflow #2

Sign in to view logs

Summary
Jobs
- lint
Run details
- Usage
- Workflow file

Triggered via pull request June 24, 2024 13:45

gdarchen

synchronize #1

ci/checks

Status Success

Total duration 12s

Billable time 1m

Artifacts –

lint-pr-title.yml

on: pull_request