Skip to content

feat: Pruning with logical AND instead of OR #1829

feat: Pruning with logical AND instead of OR

feat: Pruning with logical AND instead of OR #1829

Triggered via pull request December 8, 2023 10:51
@vaustrupvaustrup
synchronize #2391
Status Success
Total duration 13s
Artifacts

semantic-pr-check.yml

on: pull_request_target
Validate PR title
5s
Validate PR title
Fit to window
Zoom out
Zoom in