Skip to content
CI

Forward-port to Lean/mathlib v4.31.0 #2733

Sign in to view logs

Forward-port to Lean/mathlib v4.31.0

Forward-port to Lean/mathlib v4.31.0 #2733

Re-run triggered July 2, 2026 22:10
@SnO2WMaNSnO2WMaN
#830
gotrevor:upstream-v4.31
Status Success
Total duration 45m 56s
Artifacts 1

ci.yml

on: pull_request
Check mk_all executed
1m 55s
Check mk_all executed
Check references.bib format
32s
Check references.bib format
Build project
43m 51s
Build project
Generate page
0s
Generate page
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build project
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: ts-graphviz/setup-graphviz@v2. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Artifacts

Produced during runtime
Name Size Digest
lean-artifacts Expired
33.7 MB
sha256:1378046d47a4e56121cd9e0518391e6e816a1bfe16f2a71bd5bfb3e9cebb504e