Check PR title for commit convention

chore: upstream `List.findIdx` lemmas #7567

Sign in to view logs

Triggered via pull request August 12, 2024 03:56

kim-em

opened #4995

upstream_findIdx_lemmas

Status Success

Total duration 14s

Artifacts –

pr-title.yml

on: pull_request