Stream: Coq devs & plugin devs

Topic: bedrock2 signal 9


view this post on Zulip Enrico Tassi (Jul 21 2021 at 12:25):

is it a thing that ci-bedrock2 sometimes fails cause coqc gets killed?


Last updated: Oct 21 2021 at 22:02 UTC