CI: and again a fix to checkout master for doc

28 jobs for develop in 34 minutes and 36 seconds (queued for 11 seconds)