Skip to content

make: remove obsolete/redundant parameters #8459

make: remove obsolete/redundant parameters

make: remove obsolete/redundant parameters #8459

Triggered via pull request October 29, 2024 08:36
@mmetcmmetc
labeled #3304
Status Success
Total duration 11s
Artifacts

governance-bot.yaml

on: pull_request_target
Governance
3s
Governance
Fit to window
Zoom out
Zoom in