update cargo lockfiles

informalsystems · Apr 29, 2024 · 2df23f1 · 2df23f1
1 parent 931b99c
commit 2df23f1
Show file tree

Hide file tree

Showing 2 changed files with 36 additions and 62 deletions.
diff --git a/ci/cw-check/Cargo.lock b/ci/cw-check/Cargo.lock
diff --git a/ci/no-std-check/Cargo.lock b/ci/no-std-check/Cargo.lock