Merge pull request #10 from HEPLean/AnomalyCancellation/PureU1 #61
jstoobysmithbuild.yml
on: push
doc lint
30m 17s
Lint style
4s
Annotations
1 warning
|
doc lint:
HepLean/AnomalyCancellation/SM/NoGrav/One/LinearParameterization.lean#L293
declaration uses 'sorry'
|