Skip to content
Check PR title for commit convention

fix: nontermination while generating equation lemmas for match-expressions #12066

Sign in to view logs

fix: nontermination while generating equation lemmas for match-expressions

fix: nontermination while generating equation lemmas for match-expressions #12066

Triggered via pull request November 22, 2024 23:25
@leodemouraleodemoura
opened #6180
issue6067
Status Success
Total duration 13s
Artifacts –

pr-title.yml

on: pull_request
check-pr-title
3s
check-pr-title
Fit to window
Zoom out
Zoom in