Fix issue #727

12 jobs for workflow-fixes in 24 minutes and 13 seconds (queued for 2 seconds)