ci: build docs #2
Annotations
4 errors and 2 warnings
|
Run lake -R -Kenv=dev build Extism:docs
(deterministic) timeout at 'whnf', maximum number of heartbeats (5000) has been reached (use 'set_option maxHeartbeats <num>' to set the limit)
|
|
Run lake -R -Kenv=dev build Extism:docs
tactic 'simp' failed, nested error:
|
|
Run lake -R -Kenv=dev build Extism:docs
(deterministic) timeout at 'whnf', maximum number of heartbeats (5000) has been reached (use 'set_option maxHeartbeats <num>' to set the limit)
|
|
Run lake -R -Kenv=dev build Extism:docs
Process completed with exit code 1.
|
|
|
|
|
The logs for this run have expired and are no longer available.
Loading