Check PR title for commit convention

feat: DiscrTree: index the domain of `∀` #10070

Sign in to view logs

Triggered via pull request October 13, 2024 10:23

nomeata

edited #5686

joachim/discrtree-index-domain

Status Success

Total duration 9s

Artifacts –

pr-title.yml

on: pull_request