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
(I thought that the artifacts contained the build outputs and thus that running make ci-metacoq
would not spend time rebuilding files...)
Last updated: Dec 01 2023 at 07:01 UTC