Stream: Coq devs & plugin devs

Topic: Coq CI changes for Iris


view this post on Zulip Ralf Jung (Aug 18 2020 at 06:31):

Anybody around who can help with changing what part of Iris is tested on Coq's CI?


Last updated: Oct 21 2021 at 20:02 UTC