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

Check for proper prefix when sending slack msg #23

Closed HeikoBecker closed 1 year ago

HeikoBecker commented 1 year ago

This is a quick fix for the prefix check in the serverLib. I forgot to adapt the validation check at the end to the new Slack API response which is just plain ok.