Autolabel PRs

Merge branch 'bicategory-opposite' into bicategory-yoneda #9

Sign in to view logs

Triggered via push October 26, 2025 11:59

callesonne

bicategory-yoneda

Status Skipped

Total duration 1s

Artifacts –

add_label_from_diff.yaml

on: push

Add topic label