Switch to "$GITHUB_OUTPUT"; update actions/checkout to v3

[yosifkit]

• https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands
• https://docs.github.com/en/actions/using-workflows/workflow-commands-for-github-actions#setting-an-output-parameter