Skip to content
Snippets Groups Projects

Make sure WorkManager.pool is closed at exit

Passed
Marco Clemencic created pipeline for commit e681ba1f
, finished
1 related merge request: !1279 Make sure WorkManager.pool is closed at exit
17 jobs 25 minutes 58 seconds, queued for 2 seconds