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

chore: [auto] reverted version #12

Merged
merged 1 commit into from
Aug 14, 2023
Merged

chore: [auto] reverted version #12

merged 1 commit into from
Aug 14, 2023

Conversation

dion-gionet
Copy link
Contributor

No description provided.

Copy link

@randy-but-a-ro randy-but-a-ro bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 Automated merge process has been triggered by a repository rule. Please hang on...

Integration Details
{
	"deliveryId": "c1d449d0-3ade-11ee-8490-c4dde4513dca",
	"rule": "globalAutoMerge"
}

Copy link

@randy-but-a-ro randy-but-a-ro bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 Pull request was reviewed & approved automatically by Devolutions automation 🎉

Integration Details
{
	"deliveryId": "c1d449d0-3ade-11ee-8490-c4dde4513dca"
}

Copy link

@randy-but-a-ro randy-but-a-ro bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🤖 @dion-gionet Unable to merge due to one or more failed checks. ⚠️

Integration Details
{
	"deliveryId": "c1d449d0-3ade-11ee-8490-c4dde4513dca",
	"hasFailedRuns": true
}

@dion-gionet dion-gionet merged commit e17ea1c into master Aug 14, 2023
1 check failed
@dion-gionet dion-gionet deleted the dion-gionet-patch-1 branch August 14, 2023 20:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants