-
Notifications
You must be signed in to change notification settings - Fork 178
Constant first part #582
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
Constant first part #582
Conversation
|
🔒 Could not start CI tests due to missing safe PR label. Please contact a DEDIS maintainer. |
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.
Also, see comments from Yolan on #579, a lot of them still apply.
There are quite a lot of comments that require some input from @pierluca @jbsv, If you can go through my comments and answer to the one you have answers to, it would help a lot :)
Edit: actually if @ValeriodeSa you could look at the comments as well and answer those that you can, it would be nice :P
a9173e5 to
537820e
Compare
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.
This should be removed (all the changes below are reverted in #579 )
dd5d437 to
f1fd094
Compare
71995d3 to
919fa0b
Compare
8e9bdc2 to
fa56084
Compare
0d0eb77 to
7fb25aa
Compare
Depends on #581