EHN: Wait for future in destructor
Passed
Timm Fitschen
created pipeline for commit
9a4134e3
, finished
1 related merge request: !28 F async execute
12 minutes 13 seconds, queued for 4 seconds