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

Use "embeds" for Discord messages #33

Closed hrutvik closed 1 month ago

hrutvik commented 1 month ago

This PR uses Discord's "embeds" to add some markup to the regression notifications which appear on the CakeML Discord. In particular, it aims to produce notifications like the ones below, where the title links to the job page and the PR number links to the GitHub PR page.

image

The output of an example compose_message was tested on https://leovoel.github.io/embed-visualizer/.