.github/workflows/push-check.yml uses GabrielBB/[email protected] which uses node12 which is deprecated

.github/workflows/push-check.yml uses GabrielBB/[email protected] which uses node12 which is deprecated #116