Skip to content
continuous integration (mathlib forks)

chore(Data/Finsupp/Multiset): lemmas about union and intersection #41996

Sign in to view logs

chore(Data/Finsupp/Multiset): lemmas about union and intersection

chore(Data/Finsupp/Multiset): lemmas about union and intersection #41996

Triggered via push August 18, 2023 12:00
@eric-wiesereric-wieser
pushed e01c466
eric-wieser/toMultiset-lattice
Status Success
Total duration 12s
Artifacts –

build_fork.yml

on: push
Lint style (fork)
0s
Lint style (fork)
Check all files imported (fork)
0s
Check all files imported (fork)
Build (fork)
0s
Build (fork)
Cancel Previous Runs (CI)
1s
Cancel Previous Runs (CI)
Post-CI job (fork)
0s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in