Skip to content
Back to pull request #18451

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

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

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

PR_summary.yml

on: pull_request
build
40s
build
Fit to window
Zoom out
Zoom in