Remove binaries from repository
Binaries should be built separately, as discussed in #4250.
Needs updating https://github.com/modelica/ModelicaStandardLibrary/wiki/Generating-a-new-MSL-release to also add the binaries to the release asset.
@beutlich is the update of the https://github.com/modelica/ModelicaStandardLibrary/wiki/Generating-a-new-MSL-release guide the only missing thing to merge this PR?
@beutlich is the update of the https://github.com/modelica/ModelicaStandardLibrary/wiki/Generating-a-new-MSL-release guide the only missing thing to merge this PR?
Well, we could also add a deploy stage via CI (either manually or tag triggered).
Well, we could also add a deploy stage via CI (either manually or tag triggered).
Of course, maybe this deserves a separate ticket on its own?
The decision was taken long time ago, no reason to further delay pushing this on master
Of course, maybe this deserves a separate ticket on its own?
See #4645.