Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
angelonakos opened this issue Dec 20, 2022 · 0 comments
Open

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

angelonakos opened this issue Dec 20, 2022 · 0 comments
Labels
easy

Comments

@angelonakos
Copy link
Contributor

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.
@karkhaz karkhaz added the easy label Jan 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
easy
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@karkhaz @angelonakos