Autolabel PRs

Merge branch 'master' of github.com:leanprover-community/mathlib4 int… #24

Sign in to view logs

Triggered via push December 24, 2025 12:32

callesonne

bicategory-yoneda

Status Skipped

Total duration 1s

Artifacts –

add_label_from_diff.yaml

on: push

Add topic label