Skip to content
Snippets Groups Projects

talk about what is, not what will be

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