Comments (4)
Would using something like https://github.com/Swatinem/rust-cache help?
It’s prevented repeated downloading and compiling even when everything’s using the latest version of Node.
from miri.
We shouldn't need another action, we just have to get the github native action to behave...
from miri.
Ah, in https://github.com/rust-lang/miri/actions it did work properly. Maybe I was just checking the wrong actions, or it did take a bit to propagate the updated cache from #3537. Sorry for the noise!
from miri.
No worries!
from miri.
Related Issues (20)
- MIRI_NO_STD can lead to very confusing errors HOT 3
- `cargo miri --quiet` prints `Preparing a sysroot [...]` HOT 1
- Use apfloat for full-precision sqrt
- Feature request: make `std::thread::yield_now()` work HOT 8
- "constructing invalid value: wrong trait in wide pointer vtable" for seemingly identical traits HOT 4
- Add support for many-seeds mode to `cargo miri`
- Implement futex support on FreeBSD (_umtx_op)
- Use non-deterministic precision for float operations that do not have guaranteed precision HOT 1
- Solaris: add stub shims so that pre-main code works
- Illumos: make basic std facilities work HOT 1
- FreeBSD: implement support for pthread synchronization primitives
- Give `FileDescription::{read, write}` access to the `InterpCx` HOT 1
- Make `malloc(0)` and `posix_memalign(0)` return a non-null pointer HOT 8
- Implement aligned_alloc HOT 10
- Detect UB due to mismatching declarations? HOT 3
- Cannot add new targets after installation of toolchain HOT 4
- Revamp "./miri test": parse --target ourselves, pass the rest to the test harness HOT 3
- Miri tests on Windows require admin for symlinks HOT 10
- miri-script: use a proper CLI arg parsing tool HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from miri.