search

lambdaclass / cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
https://lambdaclass.github.io/cairo-vm
Apache License 2.0
488 stars 133 forks source link

build: update Cargo.lock #1694

Closed jujube closed 3 months ago

juanbono commented 3 months ago

I don't understand the purpose of this PR can you provide some motivation for it?

jujube commented 3 months ago

I have been experiencing this issue while compiling locally

odesenfans commented 3 months ago

I have the same issue as well (Cargo.lock gets updated automatically to include this line whenever I build), and seems like it happens on some CI actions and breaks them: https://github.com/lambdaclass/cairo-vm/actions/runs/8559670209/job/23456902460

fmoletta commented 3 months ago

This has been already updated in main branch