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

12 jobs for master in 5 minutes and 25 seconds (queued for 1 second)
latest