Closed cnheitman closed 2 years ago
@cnheitman, oh I forgot: can you add comments in src/scripts/docker/* files so that we know for what they are used? Very impressive job though!
Thanks, @JonathanSalwan o/
I just pushed a new commit which adds the comments.
This PR sets the version number for the Wheel package and adjusts related scripts and workflow (issue #1145).