Check PR Title

chore: release v1.3.1 #3366

Sign in to view logs

Triggered via pull request December 12, 2025 13:26

mongodb-devtools-bot[bot]

opened #797

chore_release_v1.3.1

Status Success

Total duration 7s

Artifacts –

check-pr-title.yml

on: pull_request