Build Lean project

CI: Robustify workflow #255

Sign in to view logs

Triggered via push February 17, 2025 12:46

YaelDillies

master

Status Success

Total duration 20m 31s

Artifacts –

push_master.yml

on: push

Annotations

1 warning

Build project

Cache not found for keys: MathlibDoc-bb52d905a85b42353ee1054cd12cc73e5c1d84248ddda4f7b0dc5e1ace607c3d, MathlibDoc-