@sbinet, apologies this got away from me due to the holidays. Are you able to reproduce one more time and give the code?
EDIT 2023-03-13
This error comes up from time to time and is usually a blip on one of our servers. I would recommend waiting an hour and re-running the CI job. If you are still running into this issue, please open a new topic.