Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Is the opam-ci test-apparatus having problems these last two weeks? #24221

Closed
chetmurthy opened this issue Aug 5, 2023 · 1 comment
Closed

Comments

@chetmurthy
Copy link
Contributor

I submitted what should have been a tiny PR ( #24147 ) a couple of weeks ago, and got a massive number of revdeps failures -- first over a thousand, then 140, then 1460, and now 871. The test-failures are of all sorts -- missing files, corrupted tarballs, failures in "opam install --with-test") and on and on.

I investigated several of them (by copying the dockerfile script and running it locally) and each time, I found that if I removed the packages in my PR (which in any case weren't actually required for the revdep package to build -- @kit-ty-kate explained that it was a bug in the dependency-calculation algo: ocurrent/opam-repo-ci#227 ) the docker script still failed in precisely the same way. And then if I just run those same commands in my local opam environment (with the specified compiler version), it also fails.

So somehow these packages were accepted into opam even though they failed to pass tests ? And there are hundreds of such packages ? I have to believe something else is wrong, not the packages themselves. I can't figure what I'm doing wrong, since I can eliminate my own pacakages and the failures persist.

Two examples: http-cookie.4.2.0, uring.0.1. If it would be useful to produce more examples, I can do that.

I attach the files with and without my package, that I ran:
doit-without-camlp5.BASH.TXT
doit-with-camlp5.BASH.TXT

@shonfeder
Copy link
Contributor

shonfeder commented Dec 20, 2024

I'm not sure what was causing this, but iiuc it has been resolved for a long while.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants