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

Update Parity Coverage Docs #831

Merged
merged 1 commit into from
Sep 25, 2023
Merged

Update Parity Coverage Docs #831

merged 1 commit into from
Sep 25, 2023

Conversation

localstack-bot
Copy link
Collaborator

📖 Parity Metrics Docs Update Report 📖

This PR has been automatically generated to update the AWS parity coverage docs.
It aggregates the latest parity coverage test results from our test pipeline on CircleCI as well as from our Pro integration tests.

👷🏽 Handle this PR

The following options describe how to interact with this PR / the auto-update:

✔️ Accept Changes
If the changes are satisfying, just squash-merge the PR and delete the source branch.

🚫 Ignore Changes
If you want to ignore the changes in this PR, just close the PR and do not delete the source branch. The PR will not be opened and a new PR will not be created for as long as the generated code does not change (or the branch is deleted). As soon as there are new changes, a new PR will be created.

✏️ Adapt Changes
Don't do this. The APIs are auto-generated. If you decide that the APIs should look different, you have to change the code-generation.

⏸️ Pause Updates
Remove the cron-schedule trigger of the GitHub Action workflow which creates these PRs. The action can then still be triggered manually, but it will not be executed automatically.

@github-actions
Copy link

github-actions bot commented Sep 25, 2023

🎊 PR Preview has been successfully built and deployed to https://localstack-docs-preview-pr-831.surge.sh 🎊

@steffyP steffyP merged commit 1b00e81 into main Sep 25, 2023
3 checks passed
@steffyP steffyP deleted the parity-coverage-auto-updates branch September 25, 2023 07:26
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