Skip to content

feat: add various IO APIs support - #4721

Merged
MangelMaxime merged 5 commits into
mainfrom
various-python-fixes
Jul 5, 2026
Merged

MangelMaxime merged 5 commits into
mainfrom
various-python-fixes

Conversation

@MangelMaxime

Copy link
Copy Markdown
Member

No description provided.

@github-actions

github-actions Bot commented Jul 4, 2026

Copy link
Copy Markdown
Contributor

Python Type Checking Results (Pyright)

Metric Value
Total errors 34
Files with errors 4
Excluded files 4
New errors ✅ No
Excluded files with errors (4 files)

These files have known type errors and are excluded from CI. Remove from pyrightconfig.ci.json as errors are fixed.

File Errors Status
temp/tests/Python/test_hash_set.py 18 Excluded
temp/tests/Python/test_applicative.py 12 Excluded
temp/tests/Python/test_nested_and_recursive_pattern.py 2 Excluded
temp/tests/Python/fable_modules/thoth_json_python/encode.py 2 Excluded

@MangelMaxime
MangelMaxime force-pushed the various-python-fixes branch from 5670d44 to fa63a4c Compare July 4, 2026 17:11
@MangelMaxime
MangelMaxime force-pushed the various-python-fixes branch 2 times, most recently from 785a289 to cc00b08 Compare July 4, 2026 20:06
@MangelMaxime
MangelMaxime force-pushed the various-python-fixes branch from cc00b08 to 2d78bbb Compare July 4, 2026 20:21
@MangelMaxime
MangelMaxime merged commit 6e082f9 into main Jul 5, 2026
43 of 46 checks passed
@MangelMaxime
MangelMaxime deleted the various-python-fixes branch July 5, 2026 08:42
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