Fix lcm alignment #99
Triggered via pull request
February 18, 2025 17:34
TheoWinterhalter
Status
Failure
Total duration
10m 38s
Artifacts
–
Annotations
3 warnings
|
build (dev):
With_N.v#L5
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev):
With_N.v#L86
"From Coq" has been replaced by "From Stdlib".
|
|
build (dev):
With_N.v#L105
"From Coq" has been replaced by "From Stdlib".
|