Skip to content
Snippets Groups Projects

Apply 1 suggestion(s) to 1 file(s)

Passed
Kimaya Bedarkar created pipeline for commit 54d49550
, finished
Related merge request !582 to merge kimaya/add-zip-lemmas
merge request
2 jobs 2 minutes 44 seconds, queued for 1 seconds