Skip to content
Validation

Fixed a bug that leads to incorrect (unsound) type narrowing when usi… #7951

Sign in to view logs

Fixed a bug that leads to incorrect (unsound) type narrowing when usi…

Fixed a bug that leads to incorrect (unsound) type narrowing when usi… #7951

Triggered via push February 10, 2025 17:53
@erictrauterictraut
pushed 0006588
main
Status Success
Total duration 8m 15s
Artifacts –

validation.yml

on: push
Typecheck
46s
Typecheck
Style
48s
Style
Matrix: test
Build
2m 19s
Build
Required
0s
Required
Fit to window
Zoom out
Zoom in