All public Gitlab runners are now back to production.
Docker for HmmCleaner. It may be usefull if you want to use HmmCleaner.