Skip to content

Optimize exact casts better in Unsubtyping (#7930) #16625

Optimize exact casts better in Unsubtyping (#7930)

Optimize exact casts better in Unsubtyping (#7930) #16625

Triggered via push October 3, 2025 00:17
Status Success
Total duration 42m 30s
Artifacts 4

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build (macos-latest)
ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja

Artifacts

Produced during runtime
Name Size Digest
build-macos-latest Expired
14.5 MB
sha256:f6d2d7cd1dd03b3e57425bba6095620a704d66aa4886dfffd7ec50e1afd4a031
build-ubuntu-latest Expired
12 MB
sha256:2d6c7dbf1915fd8af52b74424c97c2f6acd4083cfc093ba50a578190a1aaf26d
build-windows-11-arm Expired
75.7 MB
sha256:c2a825e9c012a276a88d06bd6ccd5a72bc3f81d01c7c1fd67498b40474ff4baa
build-windows-latest Expired
76.3 MB
sha256:a1187f5daa83596a2a812734ac2aa45a356689ff019ffc07536ee6521808ccd8