Skip to content

improve error messages, rollback ADT registry when encountering a translation error

Lennard Gäherrequested to merge
ci/better-error-msg into main

Gives a more graceful error message on #9 .

Merge request reports