Skip to content
Autolabel PRs

[Merged by Bors] - chore({Finset,Multiset}/Lattice): add gcongr attributes #1778

Sign in to view logs

[Merged by Bors] - chore({Finset,Multiset}/Lattice): add gcongr attributes

[Merged by Bors] - chore({Finset,Multiset}/Lattice): add gcongr attributes #1778

Triggered via pull request October 30, 2024 17:50
@quangvdaoquangvdao
opened #18451
gcongr-finset
Status Success
Total duration 51s
Artifacts –

add_label_from_diff.yaml

on: pull_request
Add topic label
44s
Add topic label
Fit to window
Zoom out
Zoom in

Annotations

2 notices
Add topic label
Applicable labels: #[t-data]
Add topic label
added label: t-data