Skip to content

Increase depth and emit a trace when pruning vacuous branches in `Pro… #38

Increase depth and emit a trace when pruning vacuous branches in `Pro…

Increase depth and emit a trace when pruning vacuous branches in `Pro… #38

Triggered via push July 12, 2024 06:13
Status Success
Total duration 13m 6s
Artifacts

master.yml

on: push
Fit to window
Zoom out
Zoom in