Restore LEMMAS
Passed
Bartosz Matysiak
created pipeline for commit 02c23c93
, finished
1 related merge request: !6 Parallelize subtasks
1 minute 21 seconds, queued for 12 seconds