Stream: coqbot devs & users

Topic: No webhook events recorded on GitLab


view this post on Zulip Théo Zimmermann (May 22 2023 at 09:11):

I was trying to debug the issue reported at https://github.com/coq/coq/pull/17368#issuecomment-1551587815, but it seems like GitLab has lost all the history of the webhooks sent. When I open this page, I get "No webhook events".


Last updated: Oct 13 2024 at 01:02 UTC