.github/workflows/docs.yml · extism/lean4-sdk@1b0effd

Manually triggered January 23, 2024 04:24

zshipko

main

Status Failure

Total duration 2m 20s

Artifacts –

docs.yml

on: workflow_dispatch

4 errors and 2 warnings

Process completed with exit code 2.

(deterministic) timeout at 'whnf', maximum number of heartbeats (5000) has been reached (use 'set_option maxHeartbeats <num>' to set the limit)

tactic 'simp' failed, nested error:

(deterministic) timeout at 'whnf', maximum number of heartbeats (5000) has been reached (use 'set_option maxHeartbeats <num>' to set the limit)

Restore cache failed: Dependencies file is not found in /home/runner/work/lean4-sdk/lean4-sdk. Supported file pattern: go.sum

Environment URL '' is not a valid http(s) URL, so it will not be shown as a link in the workflow graph.