Skip to content

Add Coverity static analysis scans#128

Merged
tjgreen42 merged 2 commits intomainfrom
add-coverity-scans
Jan 10, 2026
Merged

Add Coverity static analysis scans#128
tjgreen42 merged 2 commits intomainfrom
add-coverity-scans

Conversation

@tjgreen42
Copy link
Copy Markdown
Collaborator

@tjgreen42 tjgreen42 commented Jan 9, 2026

Summary

  • Add GitHub Actions workflow for weekly Coverity static analysis scans
  • Scans run on Postgres 17 and 18
  • Add Coverity badge to README

Testing

  • Workflow can be manually triggered after merging
  • Requires COVERITY_TOKEN secret to be configured (already done)

- Add GitHub Actions workflow for weekly Coverity scans
- Run on Postgres 17 and 18
- Add Coverity badge to README
@tjgreen42 tjgreen42 merged commit 4346a4e into main Jan 10, 2026
3 checks passed
@tjgreen42 tjgreen42 deleted the add-coverity-scans branch January 10, 2026 01:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant