Skip to content

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

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

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

Triggered via push February 17, 2026 20:26
Status Success
Total duration 6m 26s
Artifacts
Create dev release
5s
Create dev release
Matrix: Publish to tagged release
Matrix: Publish to dev release
Fit to window
Zoom out
Zoom in