Add `get_hostname` to esp-idf #3934

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

Merged

tgross35 merged 4 commits into rust-lang:main from Laura7089:feat/esp-idf-hostname

Nov 13, 2024

Merged

Add `get_hostname` to esp-idf #3934

fix: sort espidf semver file sensitive to case

This check has been archived and is scheduled for deletion. Learn more about checks retention

Cirrus CI / nightly freebsd-13 x86_64 succeeded Nov 13, 2024 in 1m 59s

Task Summary

Task successfully finished!

Details

✅ 00:07 clone
✅ 00:14 setup
✅ 01:34 test

View more details on Cirrus CI