Skip to content

CI: Run coverity-scan using Docker#7225

Merged
geographika merged 2 commits into
MapServer:mainfrom
geographika:ci-coverity
Feb 15, 2025
Merged

CI: Run coverity-scan using Docker#7225
geographika merged 2 commits into
MapServer:mainfrom
geographika:ci-coverity

Conversation

@geographika
Copy link
Copy Markdown
Member

As with #7224 run the coverity-scan workflow using Docker.
As this is only run once a week, it may need to be merged to see if it works.

@geographika
Copy link
Copy Markdown
Member Author

Merging and will check it runs successfully tomorrow.

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