wm: don't update leader if tree is not consistent #284

Triggered via push September 9, 2024 23:40

yshui

leader-wm-consistency

Status Success

Total duration 20s

Artifacts 1

page.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	320 KB