Stream: Coq devs & plugin devs

Topic: What is going on with CI?


view this post on Zulip 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?

view this post on Zulip Gaëtan Gilbert (Jul 12 2020 at 15:39):

recent overlays took some time to merge

view this post on Zulip Gaëtan Gilbert (Jul 12 2020 at 19:04):

also the azure osx job has issues, see https://github.com/coq/coq/pull/12672

view this post on Zulip Théo Zimmermann (Jul 13 2020 at 12:36):

Following which PR?

view this post on Zulip 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.

view this post on Zulip Gaëtan Gilbert (Jul 13 2020 at 15:16):

those are new problems not overlay problems

view this post on Zulip Pierre-Marie Pédrot (Jul 17 2020 at 09:27):

VST seems still broken, was that failure scrutinized?

view this post on Zulip Emilio Jesús Gallego Arias (Jul 17 2020 at 09:29):

@Yishuai Li pointed out that we need to install compcert

view this post on Zulip Emilio Jesús Gallego Arias (Jul 17 2020 at 09:29):

may give it a go later today

view this post on Zulip 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.

view this post on Zulip Yishuai Li (Jul 21 2020 at 19:50):

SF is now fixed: https://github.com/DeepSpec/sf/commit/59735d2c55867bf349db0a724d8afb5c2e3d6a84

view this post on Zulip Gaëtan Gilbert (Jul 23 2020 at 13:15):

Green CI on master https://github.com/coq/coq/commit/667fac4add739479bc263f93f5c67f2c5414a865
cheers


Last updated: Oct 16 2021 at 02:03 UTC