Skip to content

CI jobs fail while checking server signatures during Haskell tool setup #753

Closed

Description

@ivanperez-keera

Description

CI is failing during the Haskell setup step with the following error:

  <repo>/root.json does not have enough signatures signed with the appropriate keys

It is possible to circumvent this error by configuring Cabal to not operate in secure mode.

Type

  • Bug: CI fails to build due to failure to check server signatures.

Additional context

None.

Requester

  • Ivan Perez.

Method to check presence of bug

Sending a PR against Copilot may fail with an error related to server signatures during the Haskell setup step, even if the code is correct.

Expected result

PRs that include correct code and build steps consistently build successfully without requiring re-tries.

Desired result

PRs that include correct code and build steps consistently build successfully without requiring re-tries.

Proposed solution

Disable secure mode for the Hackage repo in Cabal's config in the Travis CI script.

Further notes

None.

Activity

  1. added
    CR:Type:BugAdmin only: Change request pertaining to error detected
    CR:Status:InitiatedAdmin only: Change request that has been initiated
    on Sep 8, 2026
  2. ivanperez-keera commented on Sep 8, 2026

    @ivanperez-keera
    MemberAuthor

    Change Manager: Confirmed that the issue exists.

  3. added
    CR:Status:ConfirmedAdmin only: Change request that has been acknowledged by the change manager
    and removed
    CR:Status:InitiatedAdmin only: Change request that has been initiated
    on Sep 8, 2026
  4. ivanperez-keera commented on Sep 8, 2026

    @ivanperez-keera
    MemberAuthor

    Technical Lead: Confirmed that the issue should be addressed.

  5. added
    CR:Status:AcceptedAdmin only: Change request accepted by technical lead
    and removed
    CR:Status:ConfirmedAdmin only: Change request that has been acknowledged by the change manager
    on Sep 8, 2026
  6. ivanperez-keera commented on Sep 8, 2026

    @ivanperez-keera
    MemberAuthor

    Technical Lead: Issue scheduled for fixing in Copilot 4.8.1.

    Fix assigned to: @ivanperez-keera .

  7. added
    CR:Status:ScheduledAdmin only: Change requested scheduled
    and removed
    CR:Status:AcceptedAdmin only: Change request accepted by technical lead
    on Sep 8, 2026
  8. added this to the 4.8.1 milestone on Sep 8, 2026
  9. added
    CR:Status:ImplementationAdmin only: Change request that is currently being implemented
    and removed
    CR:Status:ScheduledAdmin only: Change requested scheduled
    on Sep 8, 2026
  10. ivanperez-keera commented on Sep 8, 2026

    @ivanperez-keera
    MemberAuthor

    Implementor: Solution implemented, review requested.

  11. added
    CR:Status:VerificationAdmin only: Change request that is currently being verified
    and removed
    CR:Status:ImplementationAdmin only: Change request that is currently being implemented
    on Sep 8, 2026
  12. ivanperez-keera commented on Sep 8, 2026

    @ivanperez-keera
    MemberAuthor

    Change Manager: Verified that:

    • Solution is implemented:
      • The code proposed compiles and passes all tests. Details:
        Build log: https://github.com/Copilot-Language/copilot/runs/101959526977
      • The solution proposed produces the expected result. Details:
        Verified by visual inspection of the solution and the CI jobs succeeding, indicative of Cabal being able to install Copilot and its dependencies without issues.
    • Implementation is documented. Details:
      No updates needed; change is minimal, to the Travis CI script, and does not alter Copilot's code.
    • Change history is clear.
    • Commit messages are clear.
    • Changelogs are updated.
    • Examples are updated. Details:
      No updates needed; change is minimal, to the Travis CI script, and does not affect existing examples.
    • Author is internal or has provided signed CLA.
    • Required version bumps are evaluated. Details:
      Bump not needed; change is minimal, to the Travis CI script, and does not affect Copilot's code or its public API.
  13. ivanperez-keera commented on Sep 8, 2026

    @ivanperez-keera
    MemberAuthor

    Change Manager: Implementation ready to be merged.

  14. added
    CR:Status:ClosedAdmin only: Change request that has been completed
    and removed
    CR:Status:VerificationAdmin only: Change request that is currently being verified
    on Sep 8, 2026
  15. added a commit that references this issue on Sep 8, 2026
    00d87cd
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Labels

CR:Status:ClosedAdmin only: Change request that has been completedCR:Type:BugAdmin only: Change request pertaining to error detected

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions