search

CakeML / regression

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

Rework the infrastructure to send messages via Slack #22

Closed xrchz closed 1 year ago