Check PR title for commit convention

feat: match_1.float theorems #11040

Sign in to view logs

Triggered via pull request November 1, 2024 23:02

nomeata

synchronize #5923

joachim/float-match

Status Success

Total duration 16s

Billable time 1m

Artifacts –

pr-title.yml

on: pull_request