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 session coverage #11416

Closed
wants to merge 5 commits into from
Closed

update session coverage #11416

wants to merge 5 commits into from

Conversation

zhuofeng6
Copy link

Parallelize coverage as much as possible, by default

pradyunsg
pradyunsg requested changes Sep 30, 2022
View reviewed changes
Copy link
Member

@pradyunsg pradyunsg left a comment

Choose a reason for hiding this comment

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

The indentation of the default arguments seems to be wrong.

noxfile.py Outdated Show resolved Hide resolved
@zhuofeng6 @pradyunsg
Update noxfile.py
17ed677 
Co-authored-by: Pradyun Gedam <[email protected]>
@zhuofeng6
Copy link
Author

hi, my friend, any question about the PR?

@zhuofeng6 zhuofeng6 closed this by deleting the head repository Nov 30, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 16, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@pradyunsg pradyunsg pradyunsg requested changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@zhuofeng6 @pradyunsg