Stream: Coq devs & plugin devs

Topic: CAMLDEP hangs on master?

Jason Gross (Dec 04 2020 at 21:01):

Some recent change to Coq master seems to have broken the build of fiat-parsers, as CAMLDEP src/Common/Tactics/hint_db_extra_plugin.ml seems to hang for hours now (see https://travis-ci.org/github/mit-plv/fiat/jobs/746742402)

Last updated: Oct 13 2024 at 01:02 UTC