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

fileicon 0.3.3 #124690

Closed
wants to merge 1 commit into from
Closed

fileicon 0.3.3 #124690

wants to merge 1 commit into from

Conversation

mklement0
Copy link
Contributor

Created with brew bump-formula-pr.

@chenrui333
Copy link
Member

https://www.githubstatus.com/incidents/qfby3shb6r3w

@mklement0
Copy link
Contributor Author

mklement0 commented Mar 3, 2023

Thanks for letting me know, @chenrui333.
Does this mean that - once the problem is resolved by GitHub - the CI actions will resume automatically, or is there something I need to do to trigger them again?

@chenrui333
Copy link
Member

@mklement0 can you rebase to the latest master, I think it should be good now.

@mklement0 mklement0 closed this Mar 3, 2023
@mklement0 mklement0 deleted the bump-fileicon-0.3.3 branch March 3, 2023 03:37
@mklement0
Copy link
Contributor Author

@chenrui333, since I didn't know how to do that, I bumped the version number and created #124695

@github-actions github-actions bot added the outdated PR was locked due to age label Apr 5, 2023
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 5, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
CI-issue Failure due to temporary CI issue outdated PR was locked due to age
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants