gitlab CI: avoid rebuilding knot when unit tests...

added building discussion labels

requested review from @tkrizek and removed review request for @dsalzman

Interesting approach, it seems to work

I'd consider doing it in before_script which should make it more robust against potential future changes of script.

added 8 commits

• de085028...12f91bfc - 7 commits from branch master
• 9bd909d5 - gitlab CI: avoid rebuilding knot when unit tests...

Compare with previous version

enabled an automatic merge when the pipeline for 9bd909d5 succeeds

merged

mentioned in commit 7e53824d