CakeML / regression

Regression testing infrastructure for CakeML
https://cakeml.org/regression.cgi
GNU General Public License v3.0
3 stars 8 forks source link

Add Arm tarball to release command #32

Closed hrutvik closed 1 month ago

hrutvik commented 1 month ago

Following https://github.com/CakeML/cakeml/pull/1022 and an update to the artefacts uploaded during regression (https://github.com/CakeML/cakeml/commit/6eebd384c0cb34314a58957d79a6489087db8721), we can add the Arm8 tarball to the automatic release mechanism.