I wonder what is going onwith CI - all runs seem to fail since a while. As I wrote before I have local issues with the cygwin server we use since 2 years, but this doesn't seem to be an issue here - or is it?
recent overlays took some time to merge
also the azure osx job has issues, see https://github.com/coq/coq/pull/12672
Following which PR?
On a doc PR, I see VST and coquelicot failing but no evidence of any overlay being submitted to these projects recently.
those are new problems not overlay problems
VST seems still broken, was that failure scrutinized?
@Yishuai Li pointed out that we need to install compcert
may give it a go later today
If you need help with VST / compcert, please let me know. Most of the changes in the build process / opam files for these two I did.
SF is now fixed: https://github.com/DeepSpec/sf/commit/59735d2c55867bf349db0a724d8afb5c2e3d6a84
Green CI on master https://github.com/coq/coq/commit/667fac4add739479bc263f93f5c67f2c5414a865
Last updated: Oct 16 2021 at 02:03 UTC