search

dafny-lang / dafny

Dafny is a verification-aware programming language
https://dafny.org
Other
2.94k stars 261 forks source link

Chore: Faster Rust tests. #5909

Closed MikaelMayer closed 2 weeks ago

MikaelMayer commented 2 weeks ago

Description

Previously, every single invocation of "cargo build" resulted in the creation of 100Mb of artifacts, many of which were downloaded from the internet. I had figured out that, by reusing the "target" directory from a sibling test, even unrelated, I completely removed the need to download dependencies from the internet, and also it compiled substantially faster on my machine.

How has this been tested?

All existing Rust tests should pass

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.

MikaelMayer commented 2 weeks ago

Closing because it's not working AND we probably want a better caching mechanism of dependencies.

shadaj commented 4 days ago

https://github.com/mozilla/sccache should fix exactly this! Was intending to add this but didn't get to it in time. See https://github.com/hydro-project/hydroflow/blob/main/.github/workflows/ci.yml#L66 for an example in GHA.