This repository was archived by the owner on May 6, 2020. It is now read-only.

This repository was archived by the owner on May 6, 2020. It is now read-only.

.ci: Move coverity to Jenkins #71

Open

opened

on Sep 20, 2017

In order to get rid of Travis CI, we should configure Jenkins so that it will trigger Coverity scans the same way it was done with Travis.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests