Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Run examples in parallel #21

Merged
merged 3 commits into from
May 14, 2024
Merged

Run examples in parallel #21

merged 3 commits into from
May 14, 2024

Conversation

WaffleLapkin
Copy link
Collaborator

This changes the time for me locally 1.69 secs -> 0.41 secs. Probably doesn't matter for CI, but nice for local dev.

@WaffleLapkin
Copy link
Collaborator Author

diff --git a/code/examples/stderr/unsafe_3_1.stderr b/code/examples/stderr/unsafe_3_1.stderr
index e69de29..2ff2c57 100644
--- a/code/examples/stderr/unsafe_3_1.stderr
+++ b/code/examples/stderr/unsafe_3_1.stderr
@@ -0,0 +1,9 @@
+error[E0463]: can't find crate for `std`
+  |
+  = note: the `x86_64-unknown-linux-gnu` target may not be installed
+  = help: consider downloading the target with `rustup target add x86_64-unknown-linux-gnu`
+  = help: consider building the standard library from source with `cargo build -Zbuild-std`
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0463`.

???

builder/src/main.rs Outdated Show resolved Hide resolved
@Nilstrieb
Copy link
Sponsor Collaborator

uh, this PR was quite broken wrt toolchains, I made a mess in builder sorry :3

@Nilstrieb
Copy link
Sponsor Collaborator

It now changes the environment variable and CWD of the builder process itself to ensure that everything works and that forgetting to change it on a command (like you did) won't lead to weird bugs.

@Nilstrieb Nilstrieb merged commit f9fe6a8 into main May 14, 2024
2 checks passed
@Nilstrieb Nilstrieb deleted the parallel-stderr branch May 14, 2024 11:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants