Check PR title for commit convention

chore: CI: flag `Lean` modules not using `prelude` #1924

Sign in to view logs

Triggered via pull request February 22, 2024 17:44

Kha

synchronize #3463

lint-prelude

Status Success

Total duration 14s

Artifacts –

pr-title.yml

on: pull_request