Simplify reasoning about await soundness using a lemma about flatten.… #114

Sign in to view logs

Re-run triggered June 27, 2024 07:36

athomas

main

Status Success

Total duration 1m 16s

Artifacts –

spec.yml

on: push