Skip to content
Check build

Remove make lint from CI #2010

Sign in to view logs

Remove make lint from CI

Remove make lint from CI #2010

Triggered via push March 7, 2025 05:59
@Lubomir-JahnLubomir-Jahn
pushed ddc40f5
lj/reintroduce-jenkinsfile
Status Success
Total duration 2m 42s
Artifacts –

test_build.yml

on: push
check-build
2m 33s
check-build
Fit to window
Zoom out
Zoom in