Skip to content
[Jenkins]Jenkins
log insign up
Success

#783 (Mar 18, 2025, 4:29:00 AM)

Started 9 hr 54 min ago
Took 10 sec on build5-deb12build-ansible

Started by timer

This run spent:

  • 10 ms waiting;
  • 10 sec build duration;
  • 10 sec total from scheduled to completion.
Revision: 3dffb34587dc0bba9ce46c7ef0d7e07c8167a8d4
Repository: https://gerrit.osmocom.org/osmo-ci
  • origin/master
Changes
  1. jobs/gerrit-lint: run in docker (details)
  2. lint/lint_diff: make use of shell functions (details)
  3. lint/lint_diff: run clang-format if config was found (details)
  4. lint/lint_diff: allow skipping with OSMO_LINT=0 (details)