continuous integration

feat: Add even and odd parameterizations #58

Sign in to view logs

Triggered via push April 18, 2024 15:42

AnomalyCancellation/PureU1

Status Failure

Total duration 30m 47s

Artifacts –

build.yml

on: push

Annotations

1 error and 1 warning

Process completed with exit code 123.

doc lint: HepLean/AnomalyCancellation/SM/NoGrav/One/LinearParameterization.lean#L293

declaration uses 'sorry'