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

Use snapshot ID if defined #77

Merged
merged 31 commits into from
Sep 9, 2024
Merged

Use snapshot ID if defined #77

merged 31 commits into from
Sep 9, 2024

Conversation

JokeWaumans
Copy link
Contributor

@JokeWaumans JokeWaumans commented Aug 21, 2024

You can now define a snapshot ID in coverity_credentials["snapshot"] in conf.py to use that snapshot of the Coverity stream.
If this variable is undefined or has an empty value, the last snapshot will be taken from the stream, as usual.

@JasperCraeghs JasperCraeghs changed the base branch from master to REST-API August 23, 2024 08:15
mlx/coverity_services.py Outdated Show resolved Hide resolved
mlx/coverity_services.py Outdated Show resolved Hide resolved
@JasperCraeghs JasperCraeghs changed the base branch from REST-API to master August 23, 2024 12:32
@JasperCraeghs
Copy link
Member

I updated the PR description. The use of environment variables and python-decouple is optional. Most importantly, users need to know which variable in conf.py to configure.

mlx/coverity/coverity.py Outdated Show resolved Hide resolved
mlx/coverity/coverity_services.py Outdated Show resolved Hide resolved
JokeWaumans and others added 3 commits September 5, 2024 10:38
example/conf.py Outdated Show resolved Hide resolved
@JasperCraeghs JasperCraeghs merged commit b36afde into master Sep 9, 2024
6 checks passed
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.

3 participants