Skip to content

jenkins: remove references to the Jenkins pipelines and old packaging #1806

jenkins: remove references to the Jenkins pipelines and old packaging

jenkins: remove references to the Jenkins pipelines and old packaging #1806

Triggered via pull request November 12, 2024 21:59
Status Success
Total duration 1m 36s
Artifacts

check-dev-tools.yml

on: pull_request
Fit to window
Zoom out
Zoom in