Skip to content
Snippets Groups Projects

bugfixes + more AugExpr in interfaces

Failed
Frederik Hennig created pipeline for commit 91889646
, finished
For frontend-cleanup
3 minutes 48 seconds, queued for 1 seconds