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.

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

Jump to bottom

Update old branch master #324

Merged
merged 4 commits into from
Oct 20, 2023
Merged

Update old branch master #324

merged 4 commits into from
Oct 20, 2023

Conversation

Taowyoo
Copy link
Collaborator

@Taowyoo Taowyoo commented Oct 19, 2023 •
edited
Loading

This PR back-port:

to branch master

@Taowyoo
Update readme (#323)
688e790 
* docs: update README.md
@Taowyoo Taowyoo added the docs label Oct 19, 2023
@Taowyoo Taowyoo requested a review from s-arash October 19, 2023 20:23
@Taowyoo Taowyoo self-assigned this Oct 19, 2023
@Taowyoo Taowyoo marked this pull request as draft October 19, 2023 20:51
@Taowyoo Taowyoo changed the title [master back-port] Update readme Update old branch master Oct 19, 2023
@Taowyoo Taowyoo marked this pull request as ready for review October 19, 2023 20:58
@Taowyoo
Copy link
Collaborator Author

Taowyoo commented Oct 20, 2023

bors r=[s-arash]

bors bot added a commit that referenced this pull request Oct 20, 2023
@bors @Taowyoo
Merge #324
27d1ebc 
324: Update old branch `master` r=[s-arash] a=Taowyoo

This PR back-port:
- #323
- #325

to branch `master`

Co-authored-by: YX Cao <yuxiang.cao@fortanix.com>
Co-authored-by: Yuxiang Cao <yuxiang.cao@fortanix.com>
@bors
Copy link
Contributor

bors bot commented Oct 20, 2023

Build failed:

@Taowyoo
Copy link
Collaborator Author

Taowyoo commented Oct 20, 2023

bors r=[s-arash]

@bors
Copy link
Contributor

bors bot commented Oct 20, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 38361a1 into master Oct 20, 2023
1 check passed
@Taowyoo Taowyoo deleted the yx/update-readme_backport branch October 20, 2023 16:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@s-arash s-arash s-arash approved these changes

Assignees

@Taowyoo Taowyoo

Labels
docs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Taowyoo @s-arash