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

Gaëtan Gilbert (Mar 30 2023 at 12:05):

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

Gaëtan Gilbert (Mar 30 2023 at 12:05):

let all be informed

Last updated: Apr 20 2024 at 13:01 UTC