Skip to content
continuous integration (staging)

chore(Data/Finset): change nonempty_cons to cons_nonempty (#16952) #10562

Sign in to view logs

chore(Data/Finset): change nonempty_cons to cons_nonempty (#16952)

chore(Data/Finset): change nonempty_cons to cons_nonempty (#16952) #10562

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lint style
43s
Cancel Previous Runs (CI)
4s
Build
50m 40s
Post-CI job
9s
51m 36s