continuous integration

refactor: Lint #63

Sign in to view logs

Triggered via push April 19, 2024 14:08

AnomalyCancellation/PlaneMax

Status Success

Total duration 30m 19s

Artifacts –

build.yml

on: push

Annotations

1 warning

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

declaration uses 'sorry'