Report PR testing status to the lean4 repository

Update lean-toolchain for https://github.com/leanprover/lean4/pull/14724 #992

Sign in to view logs

Triggered via push August 10, 2026 01:41

lean-pr-testing-14724

Status Failure

Total duration 4m 37s

Artifacts –

pr-testing.yml

on: push

Build site and generate HTML

Annotations

1 error and 1 warning

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/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/