Skip to content
continuous integration

feat: Wick's theorem for normal ordered lists #1767

Sign in to view logs

feat: Wick's theorem for normal ordered lists

feat: Wick's theorem for normal ordered lists #1767

Triggered via pull request February 3, 2025 05:39
@jstoobysmithjstoobysmith
synchronize #307
FieldOpAlgebra
Status Failure
Total duration 16m 37s
Artifacts –

build.yml

on: pull_request
doc lint
16m 27s
doc lint
Python based style linter
12s
Python based style linter
Fit to window
Zoom out
Zoom in

Annotations

11 errors
Python based style linter
Process completed with exit code 123.
doc lint: HepLean/PerturbationTheory/WickContraction/Join.lean#L26
@WickContraction.join definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/Join.lean#L69
@WickContraction.joinLiftLeft definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/Join.lean#L81
@WickContraction.joinLiftRight definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/Join.lean#L119
@WickContraction.joinLift definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/Join.lean#L725
@WickContraction.joinSignRightExtra definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/Join.lean#L734
@WickContraction.joinSignLeftExtra definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/Singleton.lean#L25
@WickContraction.singleton definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/SubContraction.lean#L23
@WickContraction.subContraction definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/SubContraction.lean#L35
@WickContraction.quotContraction definition missing documentation string
doc lint: HepLean/PerturbationTheory/WickContraction/TimeSet.lean#L254
@WickContraction.HaveEqTime definition missing documentation string