fix logic of when to run docker jobs
The docker builds have not been running for a while, a change similar to that using in !1568 (merged) gets things running again.
The docker builds have not been running for a while, a change similar to that using in !1568 (merged) gets things running again.