Skip to content
Build Lean project

CI changes coming from add-combi #250

Sign in to view logs

CI changes coming from add-combi

CI changes coming from add-combi #250

Triggered via push February 13, 2025 11:48
@YaelDilliesYaelDillies
pushed 848ce65
master
Status Failure
Total duration 18m 8s
Artifacts –

push_master.yml

on: push
Lint style
1s
Lint style
Build project
17m 59s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build project
Process completed with exit code 1.
Build project
Cache not found for keys: MathlibDoc-8642ae8862973183bcefe2da19bf34cd0365da9ce5b2e17b5cc2853265b504a4, MathlibDoc-