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

Upgrade to newer nightly channel #171

Merged
merged 2 commits into from Nov 12, 2021
Merged

Conversation

mkroening
Copy link
Member

No description provided.

@mkroening mkroening changed the title Upgrade toolchain channel to nightly-2021-09-29 Upgrade to newer nightly channel Nov 8, 2021
@mkroening mkroening mentioned this pull request Nov 8, 2021
2 tasks
@mkroening mkroening marked this pull request as draft November 8, 2021 17:10
@mkroening mkroening marked this pull request as ready for review November 8, 2021 18:55
@mkroening
Copy link
Member Author

This works together #171: d092673

@jounathaen
Copy link
Member

bors r+

bors bot added a commit that referenced this pull request Nov 9, 2021
171: Upgrade to newer nightly channel r=jounathaen a=mkroening



Co-authored-by: Martin Kröning <mkroening@posteo.net>
@bors
Copy link
Contributor

bors bot commented Nov 9, 2021

Build failed:

@mkroening
Copy link
Member Author

bors retry

@bors
Copy link
Contributor

bors bot commented Nov 12, 2021

@bors bors bot merged commit 24b0e4b into hermit-os:master Nov 12, 2021
@mkroening mkroening deleted the newer-nightly branch November 12, 2021 16:05
bors bot added a commit to hermit-os/uhyve that referenced this pull request Nov 12, 2021
232: Integration tests: Upgrade to newer nightly channel r=mkroening a=mkroening

See

* hermit-os/hermit-rs#171


Co-authored-by: Martin Kröning <mkroening@posteo.net>
bors bot added a commit to hermit-os/loader that referenced this pull request Nov 12, 2021
42: Upgrade to newer nightly channel r=mkroening a=mkroening

See 

* hermit-os/hermit-rs#171

Co-authored-by: Martin Kröning <mkroening@posteo.net>
@mkroening mkroening mentioned this pull request Nov 26, 2021
1 task
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.

None yet

2 participants