When configuring workflows for GitHub Actions there exists the option to pass a GitHub token to authenticate towards GitHub in the workflow.
I have seen both of the following ways to get said token:
github.token
secrets.github_token
Is there any functional difference between the two? Or are these simply two ways to get the same token?