Skip to content
Detect changes to header SHAs

[Merged by Bors] - chore(Data/Finsupp/Multiset): lemmas about union and intersection #20042

Sign in to view logs

[Merged by Bors] - chore(Data/Finsupp/Multiset): lemmas about union and intersection

[Merged by Bors] - chore(Data/Finsupp/Multiset): lemmas about union and intersection #20042

Triggered via pull request August 18, 2023 12:01
@eric-wiesereric-wieser
opened #6659
eric-wieser/toMultiset-lattice
Status Success
Total duration 32s
Artifacts –

detect_sha_changes.yml

on: pull_request
Add annotations
22s
Add annotations
Fit to window
Zoom out
Zoom in