merged_tree: extract polling of tree futures into a function #1740

Triggered via push November 7, 2023 08:03

martinvonz

main

Status Success

Total duration 56s

Artifacts 1

scorecards.yml

on: push

Produced during runtime

Name	Size
SARIF file Expired	97.3 KB