Skip to content

Consistent versions for uv and GH actions#40

Merged
automergerpr-permission-manager[bot] merged 6 commits into
masterfrom
mk/versions_fix
May 28, 2026
Merged

Consistent versions for uv and GH actions#40
automergerpr-permission-manager[bot] merged 6 commits into
masterfrom
mk/versions_fix

Conversation

@mariaKt
Copy link
Copy Markdown
Contributor

@mariaKt mariaKt commented May 26, 2026

This PR makes the version of uv and GH actions consistent across the workflows used in kompass.

  • Add deps/uv_release to pin the uv version (0.9.28) across all workflows
  • Update all workflows to read uv version from deps/uv_release
  • Update astral-sh/setup-uv action to v6 consistently (matching mir-semantics)

@mariaKt mariaKt requested a review from dkcumming May 26, 2026 23:02
@mariaKt mariaKt requested review from dkcumming and removed request for dkcumming May 27, 2026 16:14
Copy link
Copy Markdown
Contributor

@dkcumming dkcumming left a comment

Choose a reason for hiding this comment

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

Awesome!

@automergerpr-permission-manager automergerpr-permission-manager Bot merged commit c0bc9ed into master May 28, 2026
5 checks passed
@automergerpr-permission-manager automergerpr-permission-manager Bot deleted the mk/versions_fix branch May 28, 2026 14:47
@mariaKt mariaKt mentioned this pull request May 28, 2026
automergerpr-permission-manager Bot pushed a commit that referenced this pull request May 28, 2026
This PR makes some small improvements:
- rename a CI step that was still using KMIR
- update the uv and GH actions versions in action.yml to be consistent
with the rest of the repo (followup on PR
[40](#40)
- use the same pinned uv version for the Docker container

This is also intended as a test, to trigger a release, in order to test
the automatic update kompass -> solana-token.

---------

Co-authored-by: devops <devops@runtimeverification.com>
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.

3 participants