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

[Merged by Bors] - Update README.md cli options #2678

Closed
wants to merge 2 commits into from
Closed

[Merged by Bors] - Update README.md cli options #2678

wants to merge 2 commits into from

Conversation

HalidOdat
Copy link
Member

It changes the following:

  • Remove Just-in-time compilation from description in Cargo.toml
  • Change FlowgraphFormat to be terminal friendly
  • Update README.md cli options section

@HalidOdat HalidOdat added bug Something isn't working documentation update documentation labels Mar 16, 2023
@github-actions
Copy link

Test262 conformance changes

Test result main count PR count difference
Total 94,277 94,277 0
Passed 71,990 71,990 0
Ignored 17,324 17,324 0
Failed 4,963 4,963 0
Panics 14 14 0
Conformance 76.36% 76.36% 0.00%

jedel1043
jedel1043 approved these changes Mar 16, 2023
View reviewed changes
Copy link
Member

@jedel1043 jedel1043 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good improvements!

@raskad
Copy link
Member

raskad commented Mar 16, 2023

bors r+

bors bot pushed a commit that referenced this pull request Mar 16, 2023
@HalidOdat
Update README.md cli options (#2678)
c9ae4dc 
It changes the following:

- Remove Just-in-time compilation from description in `Cargo.toml`
- Change `FlowgraphFormat` to be terminal friendly
- Update `README.md` cli options section
@bors
Copy link

bors bot commented Mar 16, 2023

Pull request successfully merged into main.

Build succeeded:

@bors bors bot changed the title Update README.md cli options [Merged by Bors] - Update README.md cli options Mar 16, 2023
@bors bors bot closed this Mar 16, 2023
@bors bors bot deleted the update-readme branch March 16, 2023 21:01
@HalidOdat HalidOdat added this to the v0.17.0 milestone Mar 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@raskad raskad raskad approved these changes

@jedel1043 jedel1043 jedel1043 approved these changes

Assignees
No one assigned
Labels
bug Something isn't working documentation update documentation
Projects
None yet
Milestone
v0.17.0
Development

Successfully merging this pull request may close these issues.
3 participants
@HalidOdat @raskad @jedel1043