ci: move jenkins operations to GH #10082
Merged
DCO / DCO
succeeded
Nov 14, 2024 in 0s
DCO
Commit sign-off was manually approved.
Loading