Skip to content

Conversation

@miniBill
Copy link
Collaborator

We're moving things to cli, so the CI needs to change. It made sense to half change it in the moving PR, but this is a needed followup PR

@github-actions
Copy link

@wolfadex wolfadex merged commit fe96f24 into main Sep 17, 2025
2 checks passed
@wolfadex wolfadex deleted the fix-ci-diff branch September 17, 2025 15:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants