Wrong badge status reported on GitHub project

[halfer]

Related:

Badge is green even if some builds in the workflow failed

The CircleCI badge here shows as passing: https://github.com/coq/coq#coq But the most recent commit in the (master) branch was actually failing: https://circleci.com/gh/coq/workflows/coq/tree/master Given that we use the Workflow feature, may it be due to an absence of Workflow support in badges (the workflow as a whole failed because some builds failed, but the last build to finish in the workflow succeed and may have wrongly set the badge to passing).