Open keyboardDrummer opened 3 weeks ago
One of the things I've observed is that the Rust backend downloads a lot of dependencies and sometimes fails if one of these dependencies cannot be downloaded. This might be one of the case. It's going to slow us down.
One of the things I've observed is that the Rust backend downloads a lot of dependencies and sometimes fails if one of these dependencies cannot be downloaded. This might be one of the case. It's going to slow us down.
Is that the root cause here though? It seems unlikely given the failure.
If it is a problem, there are caching tools that might help:
https://github.com/dafny-lang/dafny/actions/runs/9399349297/job/25886601888