delete binary clauses that are true at the base level #31
Triggered via pull request
December 16, 2023 06:15
ahmed-irfan
Status
Success
Total duration
14m 38s
Artifacts
–