continuous integration

Update README.md #67

Sign in to view logs

Triggered via push April 21, 2024 20:59

master

Status Success

Total duration 30m 31s

Artifacts –

build.yml

on: push

Annotations

1 warning

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

declaration uses 'sorry'