Skip to content
continuous integration

feat: Add results about solution planes #62

Sign in to view logs

feat: Add results about solution planes

feat: Add results about solution planes #62

Triggered via push April 19, 2024 13:57
@jstoobysmithjstoobysmith
pushed e710c92
AnomalyCancellation/PlaneMax
Status Failure
Total duration 29m 57s
Artifacts –

build.yml

on: push
doc lint
29m 48s
doc lint
Lint style
8s
Lint style
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
Lint style
Process completed with exit code 123.
doc lint: HepLean/AnomalyCancellation/LinearMaps.lean#L153
BiLinearSymm.toLinear₁ definition missing documentation string
doc lint: HepLean/AnomalyCancellation/LinearMaps.lean#L304
TriLinearSymm.toLinear₁ definition missing documentation string
doc lint
The process '/usr/bin/env' failed with exit code 1
doc lint: HepLean/AnomalyCancellation/SM/NoGrav/One/LinearParameterization.lean#L293
declaration uses 'sorry'