Stream: Coq devs & plugin devs

Topic: vst broken in CI


view this post on Zulip Pierre-Marie Pédrot (Nov 23 2021 at 14:44):

aka "Will the little Lily get a green CI for Christmas?"

view this post on Zulip Pierre-Marie Pédrot (Nov 23 2021 at 14:45):

it was already broken on Friday IIRC?

view this post on Zulip Gaëtan Gilbert (Nov 23 2021 at 14:45):

https://github.com/PrincetonUniversity/VST/pull/531

view this post on Zulip Pierre-Marie Pédrot (Nov 23 2021 at 14:45):

aha

view this post on Zulip Gaëtan Gilbert (Nov 23 2021 at 18:19):

and https://github.com/PrincetonUniversity/VST/pull/532

view this post on Zulip Pierre-Marie Pédrot (Nov 23 2021 at 18:43):

It's a red-and-green blinking tree...


Last updated: Feb 06 2023 at 19:03 UTC