Skip to content

[CI] Use mise action in CI#1836

Merged
Arpafaucon merged 1 commit intomainfrom
greg/mise-ci
Mar 31, 2026
Merged

[CI] Use mise action in CI#1836
Arpafaucon merged 1 commit intomainfrom
greg/mise-ci

Conversation

@Arpafaucon
Copy link
Copy Markdown
Contributor

@Arpafaucon Arpafaucon commented Mar 25, 2026

Use mise action in CI to checkout the tools we need, based on what is done in SMP repo

There are couple unneeded steps I removed instead of porting to mise

  • ci/deny does not need FUSE nor protobuf
  • same for ci/buf

Copy link
Copy Markdown
Contributor Author

Arpafaucon commented Mar 25, 2026

This stack of pull requests is managed by Graphite. Learn more about stacking.

Base automatically changed from greg/mise to main March 26, 2026 17:45
@Arpafaucon Arpafaucon force-pushed the greg/mise-ci branch 2 times, most recently from 277168b to ef8951d Compare March 31, 2026 12:22
@Arpafaucon Arpafaucon marked this pull request as ready for review March 31, 2026 12:23
@Arpafaucon Arpafaucon requested a review from a team as a code owner March 31, 2026 12:23
Copy link
Copy Markdown

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

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

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: ef8951d8e7

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@Arpafaucon Arpafaucon merged commit ebb21dc into main Mar 31, 2026
32 checks passed
@Arpafaucon Arpafaucon deleted the greg/mise-ci branch March 31, 2026 17:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants