Open
Description
The 3C build status badge in the root README.md points to the workflow in the checkedc-clang
repository, which is now deleted. If we want to use the badge from the new actions
repository, we'll have to make that repository public. That should be safe, right? The repository contains nothing confidential, and the action runs only on the default branch of checkedc-clang
and only on schedule or when triggered by someone with write access to the actions
repository, so there's no way for someone to run malicious code by submitting a pull request.