Fix CI

lambdaclass · Dec 19, 2023 · c44459b · c44459b
1 parent b91f168
commit c44459b
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/prover/Cargo.lock b/prover/Cargo.lock