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

Manually triggered January 23, 2024 05:29

zshipko

main

Status Success

Total duration 5m 16s

Artifacts 1

docs.yml

on: workflow_dispatch

3 errors and 1 warning

(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

Produced during runtime

Name	Size
github-pages Expired	55.5 MB