fix verify

Closed Ronja requested to merge 18-finalize-verify into main

Closes #18 (closed)

Merge request reports