Build and check HTML

Update lean-toolchain for https://github.com/leanprover/lean4/pull/14362 #3304

Sign in to view logs

Triggered via push July 15, 2026 13:58

lean-pr-testing-14362

Status Failure

Total duration 7m 41s

Artifacts –

ci.yml

on: push

Build site and generate HTML

Check search JS code with TypeScript

Annotations

1 error and 2 warnings

Build site and generate HTML

Process completed with exit code 1.

Build site and generate HTML

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/cache/save@v4, actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Build site and generate HTML

Cache save failed.