Skip to content
Snippets Groups Projects

Fixed linting

Passed
Davide Fazzini created pipeline for commit 807ce543
, finished
Related merge request !805 to merge dfazzini_update_lhcbint_test_options
merge request
7 jobs 5 minutes 35 seconds, queued for 0 seconds