Michael Soegtrop (Jul 12 2020 at 15:25): Michael Soegtrop (Jul 12 2020 at 15:25):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?
Gaëtan Gilbert (Jul 12 2020 at 15:39):recent overlays took some time to merge
Gaëtan Gilbert (Jul 12 2020 at 19:04):also the azure osx job has issues, see https://github.com/coq/coq/pull/12672
Théo Zimmermann (Jul 13 2020 at 12:36):Following which PR?
Théo Zimmermann (Jul 13 2020 at 12:38):On a doc PR, I see VST and coquelicot failing but no evidence of any overlay being submitted to these projects recently.
Gaëtan Gilbert (Jul 13 2020 at 15:16):those are new problems not overlay problems
Pierre-Marie Pédrot (Jul 17 2020 at 09:27):VST seems still broken, was that failure scrutinized?
Emilio Jesús Gallego Arias (Jul 17 2020 at 09:29):@Yishuai Li pointed out that we need to install compcert
Emilio Jesús Gallego Arias (Jul 17 2020 at 09:29):may give it a go later today
Michael Soegtrop (Jul 17 2020 at 16:59):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.
Yishuai Li (Jul 21 2020 at 19:50):SF is now fixed: https://github.com/DeepSpec/sf/commit/59735d2c55867bf349db0a724d8afb5c2e3d6a84
Gaëtan Gilbert (Jul 23 2020 at 13:15):Green CI on master https://github.com/coq/coq/commit/667fac4add739479bc263f93f5c67f2c5414a865
cheers
Last updated: Oct 08 2024 at 15:02 UTC