Closed jmccrae closed 4 months ago
I thought we had agreed to implement them as GitHub actions before merging #113?
Related to #93.
Not that I remember but it is definitely a good idea, I will do that.
113 has dropped some Python scripts into the specification, that have no role in the generation of the script.
I thought we had agreed to implement them as GitHub actions before merging #113?