-
Notifications
You must be signed in to change notification settings - Fork 71
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
[5.0 -> main] Update Tutorial Readme #1834
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Did you merge from release/5.0
branch to ehp/gh-1722-main-update-tutorial
? I don't see Merge remote-tracking branch 'original/release/5.0' into 'ehp/gh-1722-main-update-tutorial'
in your commit history. You can see that in any other [5.0 -> main] PRs. This way we track any commit in 5.0
to be moved to the main
.
[5.0] Update Tutorial Readme
Thanks, merged release/5.0 into gh-1722 branch |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Did you merge from release/5.0
branch to ehp/gh-1722-main-update-tutorial
? I don't see Merge remote-tracking branch 'original/release/5.0' into 'ehp/gh-1722-main-update-tutorial'
in your commit history. You can see that in any other [5.0 -> main] PRs. This way we track any commit in 5.0
to be moved to the main
.
…in-update-tutorial
Update Tutorial Readme with references to latest Leap, CDT, System Contracts
Fixes #1722