Skip to content
Dart CI

Simplify reasoning about await soundness using a lemma about flatten. #761

Sign in to view logs

Simplify reasoning about await soundness using a lemma about flatten.

Simplify reasoning about await soundness using a lemma about flatten. #761

Triggered via pull request June 18, 2024 21:42
@stereotype441stereotype441
synchronize #3920
inference_spec_10
Status Success
Total duration 2m 38s
Artifacts –

dart.yml

on: pull_request
analyze
2m 29s
analyze
test
22s
test
Fit to window
Zoom out
Zoom in