Skip to content

[ci] Sanitize the github workflow#27

Merged
epernod merged 1 commit into
mainfrom
fix_ci
Oct 8, 2024
Merged

[ci] Sanitize the github workflow#27
epernod merged 1 commit into
mainfrom
fix_ci

Conversation

@epernod

@epernod epernod commented Oct 8, 2024

Copy link
Copy Markdown
Contributor

No description provided.

@epernod epernod merged commit 785f616 into main Oct 8, 2024
@epernod epernod deleted the fix_ci branch October 8, 2024 12:40
@epernod epernod added the pr: status ready Approved a pull-request, ready to be squashed label Jan 9, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

pr: clean pr: status ready Approved a pull-request, ready to be squashed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant