Recent issue when pushing status check

[Zimmi48]

Reported at rocq-prover/rocq#20421 (comment).

The bot was listening for incoming webhooks, but had not any access token in memory since its last restart (after idling). Then, it received two job webhooks, which apparently triggered it to do two requests for access tokens in parallel. Could it be that this is a race condition and the token that was used was made invalid by requesting the other one? In any case, the request to GitHub to push a status check failed with an SSL connection error. (Maybe it's a transient error completely unrelated to this specific context...)

2025-03-29 08:57:55     at=info method=POST path="/job" host=coqbot.herokuapp.com request_id=...
2025-03-29 08:57:55     at=info method=POST path="/job" host=coqbot.herokuapp.com request_id=...
2025-03-29 08:57:55     Making get request to https://api.github.com/app/installations
2025-03-29 08:57:55     Making get request to https://api.github.com/app/installations
2025-03-29 08:57:55     Making post request to https://api.github.com/app/installations/1062161/access_tokens
2025-03-29 08:57:55     Making post request to https://api.github.com/app/installations/1062161/access_tokens
2025-03-29 08:57:56     Pushing status check for bench job.
2025-03-29 08:57:56     Error: Unhandled exception: ("SSL connection() error: error:14:000086:SSL routines::certificate verify failed")