Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Upgrade to nightly-2022-06-25 #474

Closed
wants to merge 2 commits into from

Conversation

mkroening
Copy link
Member

@mkroening mkroening commented Jun 25, 2022

No description provided.

@mkroening
Copy link
Member Author

bors r+

bors bot added a commit that referenced this pull request Jun 25, 2022
474: Upgrade to nightly-2022-06-25 r=mkroening a=mkroening

Closes hermit-os/hermit-rs#300. 🎉 

Co-authored-by: Martin Kröning <m.kroening@hotmail.de>
@bors
Copy link
Contributor

bors bot commented Jun 25, 2022

Build failed:

@mkroening mkroening force-pushed the nightly-2022-06-25 branch from 71e13ac to 8c7dbaa Compare June 25, 2022 13:41
@mkroening mkroening force-pushed the nightly-2022-06-25 branch from 8c7dbaa to 33db922 Compare June 25, 2022 17:04
bors bot added a commit that referenced this pull request Jun 29, 2022
479: Upgrade to nightly-2022-06-29 r=mkroening a=mkroening

Closes #474.

Co-authored-by: Martin Kröning <mkroening@posteo.net>
@bors bors bot closed this in 7f59600 Jun 29, 2022
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant