Skip to content
Snippets Groups Projects

operator registering facility and int operators

Failed
Jan Trávníček created pipeline for commit a49fd9c0
, finished
Related merge request !123 to merge merge-jt
merge request
13 jobs 62 minutes 58 seconds, queued for 948 seconds