Skip to content

Don't fail CI when curl is unable to check CRL for the sample UF2 files#311

Open
lurch wants to merge 1 commit intodevelopfrom
lurch-patch-1
Open

Don't fail CI when curl is unable to check CRL for the sample UF2 files#311
lurch wants to merge 1 commit intodevelopfrom
lurch-patch-1

Conversation

@lurch
Copy link
Copy Markdown
Contributor

@lurch lurch commented May 5, 2026

The reason for this failure is unclear, but it's definitely not a fatal error

The reason for this failure is unclear, but it's definitely not a fatal error
@lurch lurch requested a review from will-v-pi May 5, 2026 13:18
@will-v-pi
Copy link
Copy Markdown
Contributor

I think the GitHub CI is just generally being a bit flaky at the moment, which could explain this - are there any jobs that haven't succeeded after a retry?

@lurch
Copy link
Copy Markdown
Contributor Author

lurch commented May 5, 2026

I think the GitHub CI is just generally being a bit flaky at the moment, which could explain this - are there any jobs that haven't succeeded after a retry?

Some of the failed jobs in #310 worked after a retry; but some of the failed jobs still failed after a retry.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants