Skip to content

github actions#7

Merged
HectorPulido merged 6 commits intomainfrom
pr-ci
Nov 3, 2025
Merged

github actions#7
HectorPulido merged 6 commits intomainfrom
pr-ci

Conversation

@HectorPulido
Copy link
Copy Markdown
Owner

No description provided.

update node version

move PR-CI workflows

changes on pr-ci

ci

ci

ci

ci
@HectorPulido HectorPulido merged commit 9e5d356 into main Nov 3, 2025
4 checks passed
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