CakeML / regression

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

Fix bug in Discord embeds #34

Closed hrutvik closed 1 month ago

hrutvik commented 1 month ago

Should fix an issue in PR https://github.com/CakeML/regression/pull/33. In particular, that PR changed the way a JSON was constructed and passed to curl, but failed to update the escaping of quotation marks. This resulted in too many quotation marks being escaped, producing a corrupted JSON. This commit ensures that only quotation marks within a JSON field are escaped, not the quotation marks that delimit JSON fields.