Skip to content

Conversation

@hannesm
Copy link
Member

@hannesm hannesm commented Dec 13, 2024

@hannesm

This comment was marked as outdated.

@hannesm

This comment was marked as outdated.

@hannesm hannesm changed the title Removal phase1 Archiving Phase 1 Dec 15, 2024
This was referenced Jan 1, 2025
@hannesm hannesm force-pushed the removal-phase1 branch 2 times, most recently from bd78178 to 312c27a Compare January 1, 2025 12:09
@hannesm
Copy link
Member Author

hannesm commented Jan 1, 2025

While the CI reports failure, it is actually a success (maybe related to #5 (comment)). The output:

Error:  Could not synchronize /tmp/opam-29797-3b91c3/camltc.0.9.3 from "git+https://github.com/toolslive/camltc.git#camltc-0.9.3":
        OpamSystem.Process_error(_)
Error:  Could not synchronize /tmp/opam-29799-3b91c3/camltc.0.9.4 from "git+https://github.com/toolslive/camltc.git#317e1e4606ce1e86d09b7b83ec2cb1709a81d437":
        OpamSystem.Process_error(_)
Error:  Could not synchronize /tmp/opam-29843-3b91c3/camltc.0.9.5 from "git+https://github.com/toolslive/camltc.git#camltc-0.9.5":
        OpamSystem.Process_error(_)
Error:  Could not synchronize /tmp/opam-29844-3b91c3/camltc.0.9.6 from "git+https://github.com/toolslive/camltc.git#camltc-0.9.6":
        OpamSystem.Process_error(_)
Error: Process completed with exit code 1.

@hannesm
Copy link
Member Author

hannesm commented Jan 1, 2025

(force-pushed with a better commit message)

and packages depending on unavailable packages (and thus are uninstallable)
@hannesm hannesm merged commit 04de824 into main Jan 1, 2025
0 of 2 checks passed
@hannesm hannesm deleted the removal-phase1 branch January 1, 2025 19:10
@shonfeder
Copy link
Member

shonfeder commented Jan 3, 2025

OpamSystem.Process_error(_)

I think was actually downstream of us doing needless source fetching in the linting tool. This is fixed with ocurrent/opam-repo-ci@5c82a27

@hannesm
Copy link
Member Author

hannesm commented Jan 5, 2025

Thanks @shonfeder for your great work on the CI!

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

Successfully merging this pull request may close these issues.

4 participants