Skip to content

fix[ci]: pin nightly for miri#6448

Merged
joseph-isaacs merged 4 commits intodevelopfrom
ji/clean-sccache-action
Feb 12, 2026
Merged

fix[ci]: pin nightly for miri#6448
joseph-isaacs merged 4 commits intodevelopfrom
ji/clean-sccache-action

Conversation

@joseph-isaacs
Copy link
Copy Markdown
Contributor

Does this PR closes an open issue or discussion?

  • Closes #.

What changes are included in this PR?

What is the rationale for this change?

How is this change tested?

Are there any user-facing changes?

Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
@joseph-isaacs joseph-isaacs changed the title chore[ci]: no sccache for miri chore[ci]: pin nightly for miri Feb 12, 2026
@joseph-isaacs joseph-isaacs added the changelog/fix A bug fix label Feb 12, 2026
@joseph-isaacs joseph-isaacs changed the title chore[ci]: pin nightly for miri fix[ci]: pin nightly for miri Feb 12, 2026
Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
Comment thread .github/workflows/ci.yml Outdated
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think it should also go here

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

both right?

Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
@joseph-isaacs joseph-isaacs marked this pull request as ready for review February 12, 2026 12:36
@joseph-isaacs joseph-isaacs enabled auto-merge (squash) February 12, 2026 12:38
@joseph-isaacs joseph-isaacs merged commit 6e1e9d5 into develop Feb 12, 2026
47 of 48 checks passed
@joseph-isaacs joseph-isaacs deleted the ji/clean-sccache-action branch February 12, 2026 12:46
fastio pushed a commit to fastio/vortex that referenced this pull request Mar 10, 2026
## Does this PR closes an open issue or discussion?

<!--
This helps us keep track of fixed issues and changes.
-->

- Closes #.

## What changes are included in this PR?

<!--
What changes are included here, if an issue or discussion are attached,
there's no need to duplicate the details.
-->

## What is the rationale for this change?

<!--
Why do you propose this change, and why did you choose this approach.

This helps reviewers and other readers understand changes, creates a
shared understanding of the issue and codebase,
and improves their ability to work with this change and offer better
suggestions.
-->

## How is this change tested?

<!--
Changes should be tested, we expect changes to fit in one of the
following categories:
1. Verifying existing behavior is maintained.
2. For serialization related changes - Compatibility should be
maintained or explicitly broken.
3. For new behavior and functionality, this helps us maintaining that
desired behavior in the future.
-->

## Are there any user-facing changes?

<!--
Does the change affect users in what of the following ways:
1. Breaks public APIs in some way.
2. Changes the underlying behavior of one of the integrations.
3. Should some documentation be changed to reflect this change?

In the case some public API is changed in a breaking way, make sure to
add the appropriate label.
-->

---------

Signed-off-by: Joe Isaacs <joe.isaacs@live.co.uk>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/fix A bug fix

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants