Skip to content
Docs

feat: Pruning with logical AND instead of OR #4405

Sign in to view logs

feat: Pruning with logical AND instead of OR

feat: Pruning with logical AND instead of OR #4405

Re-run triggered December 8, 2023 09:05
@matthewfeickertmatthewfeickert
#2391
vaustrup:feat_enhance_pruning
Status Success
Total duration 3m 30s
Artifacts –

docs.yml

on: pull_request
Build docs
3m 16s
Build docs
Deploy docs to GitHub Pages
0s
Deploy docs to GitHub Pages
Fit to window
Zoom out
Zoom in