Add support for automatic GitHub releases

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 support for automatic GitHub releases #25

Closed hrutvik closed 10 months ago

hrutvik commented 10 months ago

Attempt a GitHub release for successful runs on master using GitHub's REST API (like the current "commit status" updates). This seems to require two stages: creating the release; and uploading the *.tar.gz assets.

xrchz commented 10 months ago

Looks great! I guess it hasn't been tested?

hrutvik commented 10 months ago

That's right - I wasn't quite sure how best to go about testing it. If you have any thoughts, let me know!

xrchz commented 10 months ago

I'll just run it in prod!