Small fixes to terminate_router workflow
Passed
Karel van Klink
created pipeline for commit
9d5834b2
, finished
For develop
17 minutes 22 seconds, queued for 14 seconds