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.

Sign up for GitHub

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

Jump to bottom

crux-mir Dockerfile: Define CRUX_RUST_LIBRARY_PATH once more #1272

Merged
merged 1 commit into from
Jan 9, 2025
Merged

crux-mir Dockerfile: Define CRUX_RUST_LIBRARY_PATH once more #1272

merged 1 commit into from
Jan 9, 2025

Conversation

RyanGlScott
Copy link
Contributor

Fixes #1271.

@RyanGlScott RyanGlScott added crux MIR Issues relating to Rust/MIR support Docker Issues relating to the Docker images. labels Jan 9, 2025
@RyanGlScott RyanGlScott self-assigned this Jan 9, 2025
@RyanGlScott RyanGlScott merged commit 7ccc4d9 into master Jan 9, 2025
32 checks passed
@RyanGlScott RyanGlScott deleted the T1271-CRUX_RUST_LIBRARY_PATH-Dockerfile branch January 9, 2025 13:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@mccleeary-galois mccleeary-galois mccleeary-galois approved these changes

@kquick kquick Awaiting requested review from kquick

@sauclovian-g sauclovian-g Awaiting requested review from sauclovian-g

Assignees

@RyanGlScott RyanGlScott

Labels
crux Docker Issues relating to the Docker images. MIR Issues relating to Rust/MIR support
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

crux-mir Dockerfile: Ensure CRUX_RUST_LIBRARY_PATH is set
2 participants
@RyanGlScott @mccleeary-galois