WIP: More reporting #262

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Draft

ngc92 wants to merge 1 commit into main from ngc92/reporting

Collaborator

ngc92 commented Apr 26, 2025 •

edited

Loading

Updates to our result reporting:

include status and id of run in thread name
allow passing reports through to the API
include interpretation of exit code in short reports
detailed report can be generated without reference to discord thread

ngc92 force-pushed the ngc92/reporting branch 2 times, most recently from 6c844a9 to 324f42a Compare

April 27, 2025 10:23


          include report in API response

9e5dfa3

ngc92 force-pushed the ngc92/reporting branch from 324f42a to 9e5dfa3 Compare

April 27, 2025 21:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet