Skip to content

ci: add basic ci pipeline#3

Merged
pepedinho merged 1 commit into
mainfrom
ci-pipeline
May 11, 2026
Merged

ci: add basic ci pipeline#3
pepedinho merged 1 commit into
mainfrom
ci-pipeline

Conversation

@pepedinho

Copy link
Copy Markdown
Collaborator

No description provided.

@pepedinho pepedinho self-assigned this May 11, 2026
@pepedinho pepedinho merged commit 2ec5c7b into main May 11, 2026
4 checks passed
@pepedinho pepedinho deleted the ci-pipeline branch May 11, 2026 18:44
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