Check PR title for commit convention

feat: more hash map lemmas #6926

Sign in to view logs

Triggered via pull request July 23, 2024 06:43

TwoFX

synchronize #4803

markus/hashmap-more-lemmas

Status Success

Total duration 11s

Artifacts –

pr-title.yml

on: pull_request