Check PR title for commit convention

fix: revert "monadic generalization of FindExpr" #4416

Sign in to view logs

Triggered via pull request May 10, 2024 17:51

opened #4125

arthur-adjedj:findM_remove

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request