Skip to content

Conversation

castarco
Copy link
Contributor

No description provided.

Signed-off-by: Andres Correa Casablanca <castarco@coderspirit.xyz>
Signed-off-by: Andres Correa Casablanca <castarco@coderspirit.xyz>
Signed-off-by: Andres Correa Casablanca <castarco@coderspirit.xyz>
Signed-off-by: Andres Correa Casablanca <castarco@coderspirit.xyz>
@castarco castarco enabled auto-merge August 15, 2023 22:58
@castarco castarco disabled auto-merge August 15, 2023 22:59
@castarco castarco enabled auto-merge August 15, 2023 22:59
@castarco castarco disabled auto-merge August 15, 2023 23:00
@castarco castarco enabled auto-merge August 15, 2023 23:00
@castarco castarco added this pull request to the merge queue Aug 15, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to Branch Protection failures Aug 15, 2023
You're not authorized to push to this branch. Visit "About protected branches" for more information.
@castarco castarco added this pull request to the merge queue Aug 15, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to Branch Protection failures Aug 15, 2023
You're not authorized to push to this branch. Visit "About protected branches" for more information.
@castarco castarco added this pull request to the merge queue Aug 15, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to Branch Protection failures Aug 15, 2023
You're not authorized to push to this branch. Visit "About protected branches" for more information.
@castarco castarco added this pull request to the merge queue Aug 15, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to Branch Protection failures Aug 15, 2023
You're not authorized to push to this branch. Visit "About protected branches" for more information.
@castarco castarco merged commit 2687851 into main Aug 15, 2023
@castarco castarco deleted the coverage-config branch August 15, 2023 23:07
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