Skip to content
Snippets Groups Projects

add lemmas about [service_of_jobs]

Passed
Björn Brandenburg created pipeline for commit e3567e95
, finished
For master
13 jobs 11 minutes 13 seconds, queued for 2 seconds