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

Add action for setting up miri #6

Closed
lopopolo opened this issue Oct 22, 2022 · 0 comments · Fixed by #36
Closed

Add action for setting up miri #6

lopopolo opened this issue Oct 22, 2022 · 0 comments · Fixed by #36
Assignees
@lopopolo
Labels
A-github-action Area: GitHub Action API and configuration.

Comments

@lopopolo
Copy link
Member

lopopolo commented Oct 22, 2022 •
edited
Loading

Needed in intaglio and cactusref:

https://github.com/artichoke/intaglio/blob/8036e7f5c44177c99004ae370d7f58ba4c4ebbd9/.github/workflows/miri.yaml#L25

https://github.com/artichoke/cactusref/blob/be0740494bb725eb3b7393a6d218d03d04c26c0b/.github/workflows/miri.yaml#L24
@lopopolo lopopolo added the A-github-action Area: GitHub Action API and configuration. label Oct 22, 2022
lopopolo added a commit to artichoke/intaglio that referenced this issue Oct 22, 2022
@lopopolo
Remove actions-rs GitHub Actions
5907e60 
GitHub is deprecating the node 12 runtime for GitHub Actions.
actions-rs/toolchain and actions-rs/clippy are unmaintained and currently
emit warnings due to the deprecation.

Replace these with actions from https://github.com/artichoke/setup-rust.

Audit and rustdoc workflows are not updated since these are managed by
Terraform in artichoke/project-infrastructure.

Skip miri workflow, blocked on artichoke/setup-rust#6.
This was referenced Oct 22, 2022
Merged
Closed
@lopopolo lopopolo self-assigned this Apr 11, 2023
lopopolo added a commit that referenced this issue Apr 11, 2023
@lopopolo
Add setup miri action
a65ef79 
Fixes #6.
See artichoke/project-infrastructure#265.
@lopopolo lopopolo mentioned this issue Apr 11, 2023
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@lopopolo lopopolo

Labels
A-github-action Area: GitHub Action API and configuration.
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add setup miri action artichoke/setup-rust
1 participant
@lopopolo