workflows: push-production: explicitly call "make all" due to GNU make bug#3474

kaniini merged 1 commit intomainwolfi-dev/os:mainfrom

chore/gnu-make-workaroundwolfi-dev/os:chore/gnu-make-workaroundCopy head branch name to clipboard