Skip to content
Snippets Groups Projects

trees_equal/trees_equal.v goes poof

Passed
Neven Villani created pipeline for commit fb939248
, finished
1 related merge request: !18 Tree Borrows update
1 job 3 minutes 24 seconds, queued for 4 seconds