Check PR Title

chore: release v1.3.0 #3260

Sign in to view logs

Triggered via pull request December 4, 2025 21:01

mongodb-devtools-bot[bot]

opened #784

chore_release_v1.3.0

Status Success

Total duration 6s

Artifacts –

check-pr-title.yml

on: pull_request