refactor: Multigoal proof #1909
Triggered via pull request
February 26, 2025 15:55
jstoobysmith
Status
Failure
Total duration
19m 21s
Artifacts
–
build.yml
on: pull_request
doc lint
19m 11s
Python based style linter
11s
Annotations
2 errors
|
doc lint:
PhysLean/Mathematics/SpecialFunctions/PhyscisistsHermite.lean#L151
PhysLean.physHermite_zero_apply simp can prove this:
|
|
doc lint
The process '/usr/bin/env' failed with exit code 1
|