Lint.
Passed
Michele Nottoli
created pipeline for commit
0a72fd08
, finished
1 related merge request: !4 Options
4 minutes 55 seconds, queued for 3 seconds