Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: only run the coverity workflow on our repository
Also, build a version ID based on the latest tag + commit so we can easily identify what revision was scanned.
- Loading branch information