Skip to content

Re-enable Coverity static analysis#254

Merged
SRombauts merged 1 commit intomasterfrom
coverity_scan
Jan 5, 2020
Merged

Re-enable Coverity static analysis#254
SRombauts merged 1 commit intomasterfrom
coverity_scan

Conversation

@SRombauts
Copy link
Copy Markdown
Owner

Manual execution of travisci_build_coverity_scan.sh as a workaround for not building on every job of the build matrix

Manual execution of travisci_build_coverity_scan.sh as a workaround for not building on every job of the build matrix
@SRombauts SRombauts merged commit a7d9456 into master Jan 5, 2020
@SRombauts SRombauts deleted the coverity_scan branch January 5, 2020 11:27
@coveralls
Copy link
Copy Markdown

Coverage Status

Coverage remained the same at 96.178% when pulling a7d9456 on coverity_scan into 852d66d on master.

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.

2 participants