Skip to content

Merge pull request #194 from sumleo/fix/subtype-checker-missing-checks #374

Merge pull request #194 from sumleo/fix/subtype-checker-missing-checks

Merge pull request #194 from sumleo/fix/subtype-checker-missing-checks #374

Triggered via push February 17, 2026 20:26
Status Success
Total duration 4m 1s
Artifacts

main.yml

on: push
Format source code
15s
Format source code
Matrix: Check feature combinations
Matrix: Run tests
Fit to window
Zoom out
Zoom in