Skip to content

Improve contextual types for elements typed by reverse mapped tuples #6712

Improve contextual types for elements typed by reverse mapped tuples

Improve contextual types for elements typed by reverse mapped tuples #6712

Triggered via pull request January 2, 2025 13:15
@AndaristAndarist
opened #60901
Status Success
Total duration 20s
Artifacts

pr-modified-files.yml

on: pull_request_target
manage-prs
4s
manage-prs
Fit to window
Zoom out
Zoom in

Annotations

1 warning
manage-prs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636