refactor: Multigoal proof #1908
Triggered via pull request
February 26, 2025 15:52
jstoobysmith
Status
Failure
Total duration
19m 57s
Artifacts
–
build.yml
on: pull_request
doc lint
19m 44s
Python based style linter
13s
Annotations
3 errors
|
Python based style linter
Process completed with exit code 123.
|
|
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
|