PR title check

CORE-19195: proof merging and test cleanup #9024

Sign in to view logs

Triggered via pull request January 15, 2024 12:19

dickon

edited #5422

dickon/CORE-19195-proof-merge

Status Success

Total duration 12s

Artifacts –

check-pr-title.yml

on: pull_request