Skip to content

Update Jenkinsfile to use shared library

This, amongs other things, alleviate CI's built-in node when there are multiple rebuilds happening at once.

Merge request reports