Jason Gross (Nov 18 2022 at 00:53): Jason Gross (Nov 18 2022 at 00:53):What does it mean when coqbot responds to something with Error: Internal Server Error?
Jason Gross (Nov 18 2022 at 00:53):https://github.com/coq-community/run-coq-bug-minimizer/settings/hooks/234885164?tab=deliveries, 471b5d00-66db-11ed-89db-92801eed7f28 issue_comment.created
Jason Gross (Nov 18 2022 at 01:01):Can someone help me debug this at https://github.com/coq/bot/pull/252#issuecomment-1319413787 ?
Notification Bot (Nov 18 2022 at 23:30):Jason Gross has marked this topic as resolved.
Last updated: Sep 15 2024 at 13:02 UTC