Skip to content
Check PR body for changelog convention

fix: make extern decls evaluate as ⊤ instead of ⊥ in LCNF.elimDeadBranches #4815

Sign in to view logs

fix: make extern decls evaluate as ⊤ instead of ⊥ in LCNF.elimDeadBranches

fix: make extern decls evaluate as ⊤ instead of ⊥ in LCNF.elimDeadBranches #4815

Triggered via pull request February 3, 2025 21:07
@zwarichzwarich
opened #6928
zwarich:elim-dead-branches-extern
Status Success
Total duration 9s
Artifacts –

pr-body.yml

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