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

12 jobs for master in 3 minutes and 58 seconds (queued for 3 seconds)
latest