Skip to content
This repository was archived by the owner on Aug 9, 2025. It is now read-only.

removed ci#190

Merged
Julius-Babies merged 1 commit intomainfrom
remove-ci
Jan 20, 2024
Merged

removed ci#190
Julius-Babies merged 1 commit intomainfrom
remove-ci

Conversation

@Julius-Babies
Copy link
Copy Markdown
Collaborator

No description provided.

@Julius-Babies Julius-Babies self-assigned this Jan 20, 2024
@Julius-Babies Julius-Babies merged commit 35b5b9d into main Jan 20, 2024
@Julius-Babies Julius-Babies deleted the remove-ci branch January 20, 2024 15:06
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant