The CodeBuild jobs on PRs can fail, but the logs have restricted access.
To get hold of the logs you need to do the following:
- Get the job URL
Right click on the relevant job, and copy the link URL
- Extract the ID
The link should look something like:
The job ID is the UID following the title of the job, int his case:
a32eddfe-19e6-45d9-b0e4-d9a92e5b5698
- Download the log
Go to the following URL:
http://cbmclogs.diffblue.com/{job-name}/{job-id}.gz
Where job-name is the name of the job (e.g. cbmc or cbmc-linux-clang) and job-id is the ID extracted in the previous step.
