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...

view this post on Zulip Gaëtan Gilbert (Mar 30 2023 at 12:05):

https://github.com/PrincetonUniversity/VST/issues/673

view this post on Zulip Gaëtan Gilbert (Mar 30 2023 at 12:05):

let all be informed


Last updated: Jul 24 2024 at 12:02 UTC