Skip to content
Backport

feat: bv_decide support enum inductive matches with default branches #7949

Sign in to view logs

feat: bv_decide support enum inductive matches with default branches

feat: bv_decide support enum inductive matches with default branches #7949

Triggered via pull request March 10, 2025 14:42
@hargoniXhargoniX
closed #7417
Status Success
Total duration 10s
Artifacts –

backport.yml

on: pull_request_target
Backport
2s
Backport
Fit to window
Zoom out
Zoom in