ci - github - just commit / push / tag if needed

12 jobs for master in 3 minutes and 45 seconds (queued for 1 second)
latest