Skip to content

Comments

Update requirements#193

Merged
apolignano merged 2 commits intomasterfrom
dev
Oct 14, 2025
Merged

Update requirements#193
apolignano merged 2 commits intomasterfrom
dev

Conversation

@apolignano
Copy link
Contributor

No description provided.

@coveralls
Copy link

Coverage Status

coverage: 93.818% (+0.02%) from 93.798%
when pulling 97e8301 on dev
into a8e47e9 on master.

Copy link
Contributor

@matthiasblum matthiasblum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@apolignano apolignano merged commit b71d621 into master Oct 14, 2025
2 checks passed
@matthiasblum matthiasblum deleted the dev branch October 14, 2025 11:21
@matthiasblum matthiasblum restored the dev branch October 14, 2025 11:21
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.

3 participants