Check PR title for commit convention

refactor: make 1 % n reduce without well-founded recursion #4322

Sign in to view logs

Triggered via pull request May 7, 2024 20:40

nomeata

opened #4098

joachim/nat-mod-defeq

Status Success

Total duration 12s

Artifacts –

pr-title.yml

on: pull_request