Autolabel PRs

feat: make topologicalClosure a ClosureOperator #13

Sign in to view logs

Triggered via push June 5, 2026 08:21

lua-vr

top-closure-operator

Status Skipped

Total duration 9s

Artifacts –

add_label_from_diff.yaml

on: push

Add topic label