Skip to content
Build Lean project

PlainCombi: LYM inequality using the Katona circle method (#42) #254

Sign in to view logs

PlainCombi: LYM inequality using the Katona circle method (#42)

PlainCombi: LYM inequality using the Katona circle method (#42) #254

Triggered via push February 16, 2025 12:48
@YaelDilliesYaelDillies
pushed da0f82e
master
Status Success
Total duration 21m 15s
Artifacts –

push_master.yml

on: push
Lint style
2s
Lint style
Build project
21m 7s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
Cache not found for keys: MathlibDoc-bb52d905a85b42353ee1054cd12cc73e5c1d84248ddda4f7b0dc5e1ace607c3d, MathlibDoc-