Skip to content
Check PR body for changelog convention

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

Sign in to view logs

fix: nontermination while generating equation lemmas for match-expressions

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

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

pr-body.yml

on: pull_request
check-pr-body
7s
check-pr-body
Fit to window
Zoom out
Zoom in