Skip to content

Fix ci#49

Merged
nperraud merged 1 commit intomainfrom
fix/fix-ci
Sep 10, 2025
Merged

Fix ci#49
nperraud merged 1 commit intomainfrom
fix/fix-ci

Conversation

@nperraud
Copy link
Collaborator

No description provided.

@nperraud nperraud merged commit 0e0fd3f into main Sep 10, 2025
3 of 8 checks passed
@nperraud nperraud deleted the fix/fix-ci branch September 10, 2025 15:57
@coveralls
Copy link

Coverage Status

Changes unknown
when pulling bb0d973 on fix/fix-ci
into ** on main**.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants