Stream: Coq devs & plugin devs

Topic: vst broken in CI

Pierre-Marie Pédrot (Nov 23 2021 at 14:44):

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

Pierre-Marie Pédrot (Nov 23 2021 at 14:45):

it was already broken on Friday IIRC?

Gaëtan Gilbert (Nov 23 2021 at 14:45):

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

Pierre-Marie Pédrot (Nov 23 2021 at 14:45):

aha

Gaëtan Gilbert (Nov 23 2021 at 18:19):

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

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