Skip to content

Re-enable CI#23

Merged
gsabran merged 50 commits intomainfrom
gui--ci
Jun 19, 2025
Merged

Re-enable CI#23
gsabran merged 50 commits intomainfrom
gui--ci

Conversation

@gsabran
Copy link
Copy Markdown
Collaborator

@gsabran gsabran commented Jun 17, 2025

Now that the repo is public and CI is free, re-enable CI

@gsabran gsabran force-pushed the gui--ci branch 2 times, most recently from 159f36f to bfcb3f2 Compare June 18, 2025 03:40
@gsabran gsabran force-pushed the gui--ci branch 2 times, most recently from 179795a to 55219e1 Compare June 18, 2025 17:26
@gsabran gsabran merged commit 6150c9d into main Jun 19, 2025
8 checks passed
@gsabran gsabran deleted the gui--ci branch June 19, 2025 17:02
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.

1 participant