Skip to content

ci: fix mypy/install-and-run pipelines and bring github config up to date#466

Merged
karlicoss merged 3 commits intomasterfrom
fix-mypy
Jun 23, 2025
Merged

ci: fix mypy/install-and-run pipelines and bring github config up to date#466
karlicoss merged 3 commits intomasterfrom
fix-mypy

Conversation

@karlicoss
Copy link
Owner

No description provided.

@karlicoss karlicoss merged commit 8360e4c into master Jun 23, 2025
22 of 26 checks passed
@karlicoss karlicoss deleted the fix-mypy branch June 23, 2025 21:29
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