new commit with included PDFs (again)
Passed
Stefano Scardigli
created pipeline for commit
d2151912
, finished
1 related merge request: !12 new commit with included PDFs (again)
12 seconds, queued for 3 seconds