Skip to content
Back to pull request #18451

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

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 #63945

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

lint_and_suggest_pr.yml

on: pull_request
Lint style
1m 23s
Lint style
Check all files imported
33s
Check all files imported
Fit to window
Zoom out
Zoom in