Authorize requests to GitHub API in Run CBMC proofs workflow

[qinheping]

The step install latest CBMC in run_cbmc_proofs CI workflow seems to be failing sporadically. Sometimes the failure disappears when the CI job is re-run but sometimes the failure does not disappear.

The error looks like:

jq: error (at <stdin>:1): Cannot index string with string "assets"
Error: Process completed with exit code 1.

Resolved issues:

model-checking/cbmc-starter-kit#200

Description of changes:

This PR changes the Run CBMC proofs workflow so that it authorizes the requests to the GitHub API with the secret available through ${{ secrets.GITHUB_TOKEN }}. I've followed the example shown in GitHub documentation here. Unfortunately, changes to GA workflows cannot be reliably test, especially considering that the failure is intermittent.

Call-outs:

Testing:

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

[camshaft]

I'm pretty sure the issue is that the GitHub API is rate limiting the call. This is especially an issue when several PRs get submitted at once.

[qinheping]

I'm pretty sure the issue is that the GitHub API is rate limiting the call. This is especially an issue when several PRs get submitted at once.

Yes, there is a similar issue in aws-c-common: awslabs/aws-c-common#1057. I update the change in this PR to authorizes the requests to the GitHub API with the secret available through ${{ secrets.GITHUB_TOKEN }} as suggested.

The issue is similar to the one in this discussion. As mentioned in the last comment, it's possible that requests to the GitHub API are being rate-limited since they're not being authorized.