Skip to content
continuous integration

refactor: Parameterization in MSSM ACC #65

Sign in to view logs

refactor: Parameterization in MSSM ACC

refactor: Parameterization in MSSM ACC #65

Triggered via push April 19, 2024 20:10
@jstoobysmithjstoobysmith
pushed 6d4078f
MSSM/Refactor
Status Failure
Total duration 30m 51s
Artifacts –

build.yml

on: push
doc lint
30m 41s
doc lint
Lint style
5s
Lint style
Fit to window
Zoom out
Zoom in

Annotations

11 errors and 1 warning
Lint style
Process completed with exit code 123.
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L39
MSSMACC.AnomalyFreePerp.lineEqProp definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L47
MSSMACC.AnomalyFreePerp.lineEqPropSol definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L51
MSSMACC.AnomalyFreePerp.lineEqCoeff definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L90
MSSMACC.AnomalyFreePerp.inQuadSolProp definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L137
MSSMACC.AnomalyFreePerp.inCubeSolProp definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L140
MSSMACC.AnomalyFreePerp.cubicCoeff definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L202
MSSMACC.AnomalyFreePerp.toSolNSProj definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L223
MSSMACC.AnomalyFreePerp.inLineEq definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L225
MSSMACC.AnomalyFreePerp.inLineEqSol definition missing documentation string
doc lint: HepLean/AnomalyCancellation/MSSMNu/SolsParameterization.lean#L227
MSSMACC.AnomalyFreePerp.inLineEqProj definition missing documentation string
doc lint: HepLean/AnomalyCancellation/SM/NoGrav/One/LinearParameterization.lean#L293
declaration uses 'sorry'