Closed svenefftinge closed 6 years ago
A CI build should build the three distributions and push them as releases to this repository.
Same as #1?
Same as #7. I am closing it.
A CI build should build the three distributions and push them as releases to this repository.