Skip to content
Build Lean project

improves error msg from MathlibImportError #247

Sign in to view logs

improves error msg from MathlibImportError

improves error msg from MathlibImportError #247

Triggered via push February 3, 2025 12:52
@javierlcontrerasjavierlcontreras
pushed 5d18b68
master
Status Failure
Total duration 18s
Artifacts –

push_master.yml

on: push
Lint style
1s
Lint style
Build project
7s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.