Check PR title for commit convention

refactor: lake: restrict cache fetch to leanprover* #9899

Sign in to view logs

Triggered via pull request October 7, 2024 22:24

tydeu

opened #5642

tydeu:lake/fetch-leanprover-only

Status Success

Total duration 14s

Artifacts –

pr-title.yml

on: pull_request