Skip to content
Build Lean project

CI to check Mathlib imports: negative test #246

Sign in to view logs

CI to check Mathlib imports: negative test

CI to check Mathlib imports: negative test #246

Triggered via push February 3, 2025 12:48
@javierlcontrerasjavierlcontreras
pushed d36cd44
master
Status Failure
Total duration 14s
Artifacts –

push_master.yml

on: push
Lint style
2s
Lint style
Build project
4s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.