Build Lean project

CI changes coming from add-combi #252

Sign in to view logs

Triggered via push February 14, 2025 13:21

YaelDillies

master

Status Success

Total duration 19m 17s

Artifacts –

push_master.yml

on: push

Annotations

1 warning

Build project

Cache not found for keys: MathlibDoc-8642ae8862973183bcefe2da19bf34cd0365da9ce5b2e17b5cc2853265b504a4, MathlibDoc-