[vim/vim] Remove Cirrus CI and Coverity Scan (PR #20431)
mattn
Cirrus CI shut down on 2026-06-01, so the Cirrus build badge and .cirrus.yml no longer work. Vim's Coverity Scan project is gone as well (both the badge and the project page return 404). This removes both badges from the README along with the now-dead .cirrus.yml, the Coverity GitHub Actions workflow, and the remaining references in Filelist, .github/labeler.yml, ci/lychee.toml, and todo.txt.
You can view, comment on, or merge this pull request online at:
https://github.com/vim/vim/pull/20431
Commit Summary
- 0a58b9d Remove Cirrus CI and Coverity Scan
File Changes
(7 files)
- D .cirrus.yml (31)
- M .github/labeler.yml (1)
- D .github/workflows/coverity.yml (85)
- M Filelist (2)
- M README.md (2)
- M ci/lychee.toml (1)
- M runtime/doc/todo.txt (3)
Patch Links:
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS and Android. Download it today!
You are receiving this because you are subscribed to this thread.
mattn
mattn left a comment (vim/vim#20431)While we're here: the "Fossies codespell report" badge also fails to render on GitHub, but I left it in place in this PR.
The badge URL itself is valid: https://fossies.org/linux/test/vim-master.tar.gz/codespell.svg redirects to the current snapshot (e.g. vim-master.c8c6367.260604.tar.gz/codespell.svg) and returns a real SVG. The problem is that Fossies returns 401 Unauthorized (Unwanted Direct Access) for requests without a Referer header. GitHub fetches badge images through its camo image proxy, which sends no Referer, so Fossies blocks it and the image does not show.
Fixing the URL would not help, since camo always fetches without a referer. This would need Fossies to permit proxy access, otherwise the badge has to be dropped. Leaving it as-is for now.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS and Android. Download it today!
You are receiving this because you are subscribed to this thread.
Christian Brabandt
chrisbra left a comment (vim/vim#20431)Oh, is Coverity dead? It looks like they are just performing some maintenance work? Hm, I don't see any announcements on the forum page
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS and Android. Download it today!
You are receiving this because you are subscribed to this thread.
Christian Brabandt
chrisbra left a comment (vim/vim#20431)I have reached out to Coverity support, to see what is going on. So will hold off with merging this until I know more.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications, keep track of coding agent tasks and review pull requests on the go with GitHub Mobile for iOS and Android. Download it today!
You are receiving this because you are subscribed to this thread.