Dotty

Fix potential soundness hole when adding references to a mapped capture set #26278

Sign in to view logs

Triggered via pull request October 30, 2023 13:48

Linyxus

synchronize #18758

dotty-staging:cc-drop-outdated

Status Success

Total duration 2h 48m 2s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yaml

on: pull_request

test_non_bootstrapped

community_build_a

community_build_b

community_build_c

test_windows_full

test_windows_fast

publish_nightly

publish_release

nightly_documentation

open_issue_on_failure

Annotations

1 warning

test_windows_fast

Unable to clean or reset the repository. The repository will be recreated instead.