Skip to content
Build Lean project

CI changes coming from add-combi #251

Sign in to view logs

CI changes coming from add-combi

CI changes coming from add-combi #251

Triggered via push February 13, 2025 11:55
@YaelDilliesYaelDillies
pushed 0bf4401
master
Status Failure
Total duration 19m 24s
Artifacts –

push_master.yml

on: push
Lint style
2s
Lint style
Build project
19m 15s
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-