Stream: Coq devs & plugin devs

Topic: CI artifacts do not prevent CI targets from rebuilding


view this post on Zulip Jason Gross (Jun 02 2021 at 01:13):

Can someone with more understanding of the CI setup explain to me why make ci-metacoq spends time rebuilding things and then fails to find needed dependencies when running inside the artifact of a job that succeeded? https://github.com/coq/coq/pull/14234#issuecomment-852610659 / https://github.com/coq-community/run-coq-bug-minimizer/runs/2723676111?check_suite_focus=true#step:5:45189

view this post on Zulip Jason Gross (Jun 02 2021 at 01:14):

(I thought that the artifacts contained the build outputs and thus that running make ci-metacoq would not spend time rebuilding files...)


Last updated: Mar 28 2024 at 16:02 UTC