add markdown output for github actions display

UQ-PAC / BASIL

Apache License 2.0

8 stars 0 forks source link

add markdown output for github actions display #224

Closed katrinafyi closed 1 month ago

katrinafyi commented 2 months ago

example: https://github.com/UQ-PAC/BASIL/actions/runs/9884154629/attempts/1#summary-27300079028

ailrst commented 2 months ago

Thanks this is great, it would be really good to have a statistical summary of the verification time as well, if you don't want to implement that I can do it

katrinafyi commented 2 months ago

I'll leave that to you :) Let me know if there's any problems that I can help with.

katrinafyi commented 2 months ago

patch to support more test suites: https://gist.github.com/katrinafyi/59a10338f58016bea0a84a34a81c7229