working on prefix
Passed
René Schöne
created pipeline for commit
cb5f44d1
, finished
1 related merge request: !23 Resolve "Change used prefix for generated parts of grammar"
8 minutes 56 seconds, queued for 4 seconds