CI for plugins in https://github.com/coq/coq/pull/18327 fails with errors probably from `git pull`

: https://github.com/coq/coq/pull/18327/checks?check_run_id=19676972443

It works fine for me locally

https://github.com/coq/coq/pull/18413

Last updated: Oct 13 2024 at 01:02 UTC