feat: Feynman Trees for two complex scalars #1491
Triggered via pull request
November 22, 2024 15:36
jstoobysmith
Status
Failure
Total duration
16m 59s
Artifacts
–
build.yml
on: pull_request
doc lint
16m 0s
Python based style linter
3s
Annotations
6 errors
|
doc lint:
HepLean/FeynmanDiagrams/Wick/Contract.lean#L25
@TwoComplexScalar.WickContract inductive missing documentation string
|
|
doc lint:
HepLean/FeynmanDiagrams/Wick/String.lean#L87
TwoComplexScalar.WickStringLast inductive missing documentation string
|
|
doc lint:
HepLean/FeynmanDiagrams/Wick/Contract.lean#L51
@TwoComplexScalar.WickContract.boundFst argument 8 a✝¹ : TwoComplexScalar.WickContract
|
|
doc lint:
HepLean/FeynmanDiagrams/Wick/Contract.lean#L107
@TwoComplexScalar.WickContract.boundSnd argument 8 a✝¹ : TwoComplexScalar.WickContract
|
|
doc lint:
HepLean/FeynmanDiagrams/Wick/Contract.lean#L78
@TwoComplexScalar.WickContract.boundFst_strictMono unnecessary have hsp : ↑s <
|
|
doc lint
The process '/usr/bin/env' failed with exit code 1
|