Skip to content

Rename Pruner to Cleaner #6

Rename Pruner to Cleaner

Rename Pruner to Cleaner #6

Triggered via pull request December 9, 2023 13:06
@gianlucam76gianlucam76
synchronize #2
rename
Status Success
Total duration 3m 28s
Artifacts

main.yaml

on: pull_request
Fit to window
Zoom out
Zoom in