Skip to content
This repository has been archived by the owner on Jan 24, 2025. It is now read-only.

corrige CI #65

Merged
merged 1 commit into from
Nov 29, 2023
Merged

corrige CI #65

merged 1 commit into from
Nov 29, 2023

Conversation

rodrigondec
Copy link
Member

No description provided.

@rodrigondec rodrigondec merged commit a662500 into main Nov 29, 2023
2 checks passed
@rodrigondec rodrigondec deleted the hotfix/ci branch November 29, 2023 17:16
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