Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
doc: update the release process to remove Travis CI
Remove the Travis CI option for the Coverity checks. We can investigate add Coverity to the GitHub Actions in the future, but right now just stick to manual submissions. Signed-off-by: Paul Moore <[email protected]>
- Loading branch information