Skip to content
Snippets Groups Projects

Adapt changing running pre-commit

Passed
Tommaso Fulghesu created pipeline for commit 27021380
, finished
Related merge request !1047 to merge tfulghes-conditions-derivation
merge request
5 jobs 1 minute 1 second, queued for 2 seconds