Dart CI

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

Sign in to view logs

Triggered via pull request June 24, 2024 13:59

synchronize #3920

inference_spec_10

Status Success

Total duration 1m 2s

Artifacts –

spec.yml

on: pull_request