Skip to content

CI: gmp already installed warning #2058

New issue
New issue
Open
#2063
Open
CI: gmp already installed warning#2058
#2063
Labels
low-prioritypipelinesThis PR/issue is exclusively about improving our CI
@JulianGCalderon

Description

@JulianGCalderon
JulianGCalderon
opened on Apr 7, 2025

The install workflow throws the following warning:

gmp 6.3.0 is already installed and up-to-date. To reinstall 6.3.0, run: brew reinstall gmp

link: https://github.com/lambdaclass/cairo-vm/actions/runs/14316883761/job/40124959761#annotation:5:75

Activity

JulianGCalderon
added
low-priority
pipelinesThis PR/issue is exclusively about improving our CI
on Apr 7, 2025
JulianGCalderon
changed the title [-]CI Bug: gmp already installed warning[/-] [+]CI: gmp already installed warning[/+] on Apr 7, 2025
gabrielbosio
linked a pull request that will close this issueAvoid installing gmp when executing `install-macos.sh` #2063on Apr 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    low-prioritypipelinesThis PR/issue is exclusively about improving our CI

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions
      CI: gmp already installed warning · Issue #2058 · lambdaclass/cairo-vm