CI: Release - monitor gitlab pipeline (#5460)
* Initial commit of gitlab pipeline monitoring
* increase max job time
* Improve debug output
* s/PR/issue/
Co-authored-by: Benjamin Kampmann <[email protected]>
parent
c960f109
Please register or sign in to comment