Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Synchronise coverity scan branches on a weekly basis. #933

Merged
merged 1 commit into from Aug 25, 2020

Conversation

ralight
Copy link
Contributor

@ralight ralight commented Aug 6, 2020

This uses github actions to synchronise coverity-develop to point at
develop, and so triggers a Coverity Scan build on a weekly basis, if
that branch has moved.

It is also possible to trigger this manually, by going to
https://github.com/eclipse/paho.mqtt.c/actions , selecting the
Synchronise Coverity Scan branches workflow, clicking Run workflow,
then Run workflow.

Signed-off-by: Roger A. Light roger@atchoo.org

This uses github actions to synchronise `coverity-develop` to point at
`develop`, and so triggers a Coverity Scan build on a weekly basis, if
that branch has moved.

It is also possible to trigger this manually, by going to
https://github.com/eclipse/paho.mqtt.c/actions , selecting the
Synchronise Coverity Scan branches workflow, clicking `Run workflow`,
then `Run workflow`.

Signed-off-by: Roger A. Light <roger@atchoo.org>
@ralight
Copy link
Contributor Author

ralight commented Aug 6, 2020

I've found this useful in Mosquitto to keep up to date with Coverity Scan scans.

@icraggs
Copy link
Contributor

icraggs commented Aug 25, 2020

Thanks Roger.

@icraggs icraggs merged commit e6cd65f into eclipse:master Aug 25, 2020
@ralight
Copy link
Contributor Author

ralight commented Aug 25, 2020

Just a heads up Ian, I may have been a bit premature recommending this. I've had a failure which I can't quite explain at the moment. I'd be interested if you get the same at some point.

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.

None yet

2 participants