Skip to content

Merge client into server #142

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

Merged
merged 130 commits into from
Aug 29, 2022
Merged

Merge client into server #142

merged 130 commits into from
Aug 29, 2022

Conversation

tcompa
Copy link
Collaborator

@tcompa tcompa commented Aug 26, 2022

No description provided.

jluethi and others added 30 commits July 20, 2022 14:42
Copy link
Contributor

@jacopo-exact jacopo-exact left a comment

Choose a reason for hiding this comment

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

There are a few things to review. Some are minor, at least one can lead to serious bugs (using mutable deafult in function args).

Please address and proceed to merge.
cheers

@tcompa tcompa marked this pull request as ready for review August 29, 2022 09:16
@tcompa
Copy link
Collaborator Author

tcompa commented Aug 29, 2022

Thanks for all comments. I'll wait for some feedback on the last open point (see above) and then fix and merge.

@tcompa tcompa requested a review from jacopo-exact August 29, 2022 12:37
@tcompa tcompa merged commit 26bec2f into server Aug 29, 2022
@tcompa tcompa deleted the client branch August 29, 2022 12:44
@tcompa tcompa restored the client branch August 29, 2022 12:44
@tcompa tcompa deleted the client branch September 1, 2022 14:52
jacopo-exact pushed a commit that referenced this pull request Nov 16, 2022
…alprovider

Allow LocalProvider execution (despite SLURM username being set)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants