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 #1417

Merged
merged 1 commit into from
Aug 7, 2024
Merged

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.

@localstack-bot localstack-bot requested a review from steffyP August 5, 2024 12:32
Copy link

github-actions bot commented Aug 5, 2024

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

@HarshCasper HarshCasper merged commit a03a8c6 into main Aug 7, 2024
4 checks passed
@HarshCasper HarshCasper deleted the parity-coverage-auto-updates branch August 7, 2024 03:55
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