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

Fixed examples in readme.md #1671

Merged
merged 1 commit into from
Jun 10, 2023
Merged

Fixed examples in readme.md #1671

merged 1 commit into from
Jun 10, 2023

Conversation

advasileva
Copy link
Contributor

According to issue #1670, I compiled and ran the code examples in README.md. Some of them didn't compile or crashed with an exception, so I fixed them

@victornoel
Copy link
Collaborator

@0crat assign me

@advasileva
Copy link
Contributor Author

Should I update this PR somehow?

@victornoel
Copy link
Collaborator

@advasileva sorry I haven't had the time to review it yet, I will get back to you here when I do.
I've assigned it to me because we don't have any dev nor reviewers available in the project unfortunately.

@yegor256
Copy link
Owner

@rultor merge

@rultor
Copy link
Collaborator

rultor commented Jun 10, 2023

@rultor merge

@yegor256 OK, I'll try to merge now. You can check the progress of the merge here

@rultor rultor merged commit 596e8f9 into yegor256:master Jun 10, 2023
@rultor
Copy link
Collaborator

rultor commented Jun 10, 2023

@rultor merge

@yegor256 Done! FYI, the full log is here (took me 10min)

@0crat 0crat removed the 0crat/scope label Jun 16, 2023
@0crat
Copy link
Collaborator

0crat commented Jun 16, 2023

@victornoel/z resigned from #1671, since the job is not in scope anymore

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants