Check PR title for commit convention

feat: theory from LeanSAT #6826

Sign in to view logs

Triggered via pull request July 19, 2024 15:21

kim-em

synchronize #4742

hbv/lsattheory

Status Success

Total duration 20s

Artifacts –

pr-title.yml

on: pull_request