Skip to content
Snippets Groups Projects

Apply suggestion

Passed
Johannes Hostert created pipeline for commit a3c294e1
, finished
1 related merge request: !18 Tree Borrows update
branch
1 job 3 minutes 39 seconds, queued for 2 seconds