file cleanup and renaming of artefact
Passed
Johannes Mey
created pipeline for commit 118ec929
, finished
1 related merge request: !1 Resolve "Renaming of Nonterminal Does Not Rename All Occurences"
14 minutes 52 seconds, queued for 6 seconds