Skip to content

Add CI#3

Merged
juharris merged 1 commit into
mainfrom
ci-init
Jun 26, 2026
Merged

Add CI#3
juharris merged 1 commit into
mainfrom
ci-init

Conversation

@juharris

Copy link
Copy Markdown

No description provided.

@juharris juharris requested review from dirceu and tavianator June 26, 2026 20:02
@juharris juharris self-assigned this Jun 26, 2026
@juharris juharris merged commit b4498a1 into main Jun 26, 2026
1 check passed
@juharris juharris deleted the ci-init branch June 26, 2026 20:03
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