Use correct pipeline badge for develop branch

72 jobs for develop in 148 minutes and 10 seconds (queued for 3 seconds)