Skip to content

Use Gitlab CI in favor of Jenkins

Popular request of @FIXIT It's not all-green yet though

Merge request reports