Skip to content
continuous integration

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

Sign in to view logs

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

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

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

build.yml

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