The previous change to manually set global.args was breaking GitHub Actions
because it modified the args array that arg() uses internally. This caused
arguments to be shifted and scripts to receive wrong values.

Reverting to the original implementation where github-workflow.ts doesn't
modify the global args array.