add one more check to CI
Failed
Giordon Holtsberg Stark
created pipeline for commit
44127de0
, finished
For devel
6 minutes 45 seconds, queued for 0 seconds