Skip to content

Optimize exact casts better in Unsubtyping #16584

Optimize exact casts better in Unsubtyping

Optimize exact casts better in Unsubtyping #16584

Triggered via pull request September 29, 2025 22:59
Status Success
Total duration 42m 33s
Artifacts 4

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 2 notices
build (macos-latest)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja
build (windows-latest)
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677
mingw
The windows-latest label will migrate from Windows Server 2022 to Windows Server 2025 beginning September 2, 2025. For more information see https://github.com/actions/runner-images/issues/12677

Artifacts

Produced during runtime
Name Size Digest
build-macos-latest Expired
14.4 MB
sha256:3c2479aa838472358cfd3526e6480225465a07445b582938c896e0a93c61777d
build-ubuntu-latest Expired
12 MB
sha256:a34d63b6269fdc8e95fb88f7d8c35190984e02dae2a7d6ede757ff0e56bf8319
build-windows-11-arm Expired
75.6 MB
sha256:13e0acce4d7833f14b75fca19134aeb68a81934fa319708c942ddd6d10d2131c
build-windows-latest Expired
76.2 MB
sha256:2415c013f6ca88ccb33eb29cc844233169155bfbb019e197f8d8f1f6c149869a