Lint Pull Request Titles

refactor: use `papaya` instead of DashMap for workspace documents #5608

Sign in to view logs

Triggered via pull request November 27, 2024 19:06

arendjr

synchronize #4624

Status Success

Total duration 14s

Artifacts –

pull_request_title_lint.yaml

on: pull_request_target

Validate PR title