TODO adapt to coq/coq#15560
Alizter opened this issue · 1 comments
Alizter commented
Some refman artifcats in CI have had their job names changed in coq/coq#15560. We will need to coordinate a synchronous patch here. Recording this as a TODO.
Alizter opened this issue · 1 comments
Some refman artifcats in CI have had their job names changed in coq/coq#15560. We will need to coordinate a synchronous patch here. Recording this as a TODO.