Skip to content

make: remove obsolete/redundant parameters #8458

make: remove obsolete/redundant parameters

make: remove obsolete/redundant parameters #8458

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

governance-bot.yaml

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