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

Publish version 0.10.2 #562

Merged
merged 8 commits into from
Dec 22, 2023
Merged

Publish version 0.10.2 #562

merged 8 commits into from
Dec 22, 2023

Conversation

vinc
Copy link
Owner

@vinc vinc commented Dec 22, 2023

@vinc vinc marked this pull request as ready for review December 22, 2023 09:57
@vinc
Copy link
Owner Author

vinc commented Dec 22, 2023

As a reminder, when a release is merged we need to do the following:

git checkout trunk
git fetch
git rebase
git tag -a v0.10.2 -m "Version 0.10.2"
git push --tags
cargo publish
rsync -avzL www root@moros.cc:/var/

We also need to update the demo (the prompt $ is for the host and > for MOROS):

$ git fetch
$ git rebase
$ rm disk.img
$ make image output=serial && make qemu output=serial nic=rtl8139 kvm=true
> install # Use `guest` for the username and `moros` for the password
> halt
$ rsync -avz disk.img root@moros.cc:/home/guest/
$ ssh guest@try.moros.cc
> halt

Finally we need to create the image for the release:

make image
cp target/x86_64-moros/release/bootimage-moros.bin moros-v0.10.2.bin

And before merging we need to make sure that we are ready:

make test
cargo publish --dry-run

@vinc vinc merged commit 362e905 into trunk Dec 22, 2023
1 check passed
@vinc vinc deleted the release/0.10.2 branch December 22, 2023 10:52
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.

1 participant