PR title check

CORE-19195: proof merging and test cleanup #9023

Sign in to view logs

Triggered via pull request January 15, 2024 12:09

dickon

edited #5422

dickon/CORE-19195-proof-merge

Status Success

Total duration 11s

Artifacts –

check-pr-title.yml

on: pull_request