Check PR title for commit convention

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

Sign in to view logs

Triggered via pull request May 7, 2024 21:14

nomeata

synchronize #4098

joachim/nat-mod-defeq

Status Success

Total duration 10s

Artifacts –

pr-title.yml

on: pull_request