Romain Tetley
Romain Tetley
> Yes, but we should be sure someone is fixing it .. Agreed, just double checking !
> Yes, but we should be sure someone is fixing it .. Should I just merge in the mean time ?
I'll merge and wait from news in https://github.com/coq/coq/issues/15924
Yeah sounds good
@liyishuai @Lysxia, the status on this is outdated. There seems to be a problem with windows builds ? Could you check this out and let met know what to do...
I will try with 2.0.3 and let you know :-)
This PR improves the platform CI introducing three things: - self hosted runners (which are virtualized thanks to [CIlicon](https://github.com/traderepublic/Cilicon) - a retry loop to avoid some sporadic errors with building...
It seems file upload is not working. On my local computer the signed files are working perfectly fine but once I upload and re-download them I get the same error......
But I haven't updated my machine ? And when I use the file locally (before upload to github) it works, once I upload it and I re-download it, it crashes...