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

CI from crucible crux-mir #1217

Open
lisanna-dettwyler opened this issue Apr 26, 2021 · 0 comments
Open

CI from crucible crux-mir #1217

lisanna-dettwyler opened this issue Apr 26, 2021 · 0 comments
Labels
subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: feature request Issues requesting a new feature or capability
Milestone
Someday

Comments

@lisanna-dettwyler
Copy link
Contributor

Following on my test comment, I'd love to see those tests integrated into CI, but I know that'll require adding some substantial chunks to the configuration to make sure all the Rust tools are installed.

Should I try copying over the relevant parts of the GaloisInc/crucible CI config? Or is the setup going to be complex enough that I should just leave it as a separate issue?

I think it's reasonable to leave that for a separate issue. We might also be able to get help from @LisannaAtGalois at some point.

Originally posted by @atomb in #1117 (comment)
@lisanna-dettwyler lisanna-dettwyler added the tooling: build system Issues involving SAW's build system label Apr 26, 2021
@sauclovian-g sauclovian-g added tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: feature request Issues requesting a new feature or capability tooling: CI Issues involving CI/CD scripts or processes subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp and removed tooling: build system Issues involving SAW's build system labels Oct 30, 2024
@sauclovian-g sauclovian-g added this to the Someday milestone Oct 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable type: feature request Issues requesting a new feature or capability
Projects
None yet
Milestone
Someday
Development

No branches or pull requests
2 participants
@lisanna-dettwyler @sauclovian-g