cbmc-starter-kit icon indicating copy to clipboard operation
cbmc-starter-kit copied to clipboard

Published 20 hours ago • verified publisher icon model-checking

Address intermittent failures encountered within CI workflows when latest CBMC is installed

Open angelonakos opened this issue 2 years ago • 0 comments

When I opened this PR, @feliperodri informed me that the Test CBMC starter-kit by using coreHTTP / Python 3.X (pull_request) checks had failed.

The failure occurred inside of the jq command at this line in .github/workflows/makefile-test.yaml#L28.

The failure was intermittent. It vanished when I opted to "retry all jobs".

  • Definition of done:
  • This intermittent failure can be mitigated. We shouldn't have to force reviewers or other developers to retry jobs.

angelonakos avatar Dec 20 '22 21:12 angelonakos