chore(spec): register the admin-platform-admin-standing dogfood proof tag, and red the drift that let it accumulate
#10670
huangyiirenespec-liveness-check.yml
on: pull_request
Spec property liveness
42s