Skip to content

CI: gmp already installed warning #2058

@JulianGCalderon

Description

@JulianGCalderon

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

Metadata

Metadata

Labels

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

Type

No type

Projects

Status

In Progress

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions