lint-pr-title

chore: update docs/' Makefile and CI #3240

Sign in to view logs

Summary
Jobs
- pr-title
Run details
- Usage
- Workflow file

Triggered via pull request July 7, 2024 15:15

moul

edited #2534

Status Success

Total duration 12s

Artifacts –

lint-pr-title.yml

on: pull_request_target