Skip to content
Snippets Groups Projects

Fix proof breakage by not importing String module.

Passed
Ike Mulder created pipeline for commit b07c136f
, finished
1 related merge request: !22 Fix proof breakage by not importing String module, update Iris
9 jobs 62 minutes 31 seconds, queued for 2 seconds