ci: Reduce size of .cargo cache · creusot-rs/creusot@d97c845

Triggered via pull request February 21, 2025 16:44

Lysxia

synchronize #1374

ci-cache

Status Failure

Total duration 9m 22s

Artifacts 1

rust.yml

on: pull_request

1 error

Process completed with exit code 1.

Produced during runtime

Name	Size
why3-deps	78.2 MB