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.

Sign up for GitHub

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

Jump to bottom

Removing manual workflow branch input #3439

Merged
merged 1 commit into from
Jun 22, 2023
Merged

Removing manual workflow branch input #3439

merged 1 commit into from
Jun 22, 2023

Conversation

parithosh
Copy link
Member

This PR will set the correct head for the checkout job and removes the manual workflow input to trigger the CI.

dapplion
dapplion approved these changes Jun 22, 2023
View reviewed changes
Copy link
Collaborator

@dapplion dapplion left a comment

Choose a reason for hiding this comment

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

Thanks! 🙏

hwwhww
hwwhww approved these changes Jun 22, 2023
View reviewed changes
Copy link
Contributor

@hwwhww hwwhww left a comment

Choose a reason for hiding this comment

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

Thank you! Let's try it out!

@hwwhww hwwhww merged commit 865bb12 into ethereum:dev Jun 22, 2023
24 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@skylenet skylenet skylenet approved these changes

@hwwhww hwwhww hwwhww approved these changes

@dapplion dapplion dapplion approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@parithosh @skylenet @hwwhww @dapplion