Skip to content

Fix diffing in CI#219

Merged
wolfadex merged 1 commit intomainfrom
fix-ci-diff
Sep 17, 2025
Merged

Fix diffing in CI#219
wolfadex merged 1 commit intomainfrom
fix-ci-diff

Conversation

@miniBill
Copy link
Copy Markdown
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
Copy Markdown

@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.

2 participants