Bump `mathlib` dependency to v4.34.0-rc2 (#219) · LeanMachineLearning/LML@439785b

Triggered via push August 23, 2026 06:24

main

Status Success

Total duration 1h 3m 23s

Artifacts 1

blueprint.yml

on: push

1 warning and 1 notice

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

baseline is collected-data version 11 but this build writes 12; skipping the revision diff

Produced during runtime

Name	Size	Digest
referee-data	932 KB	`sha256:b0896113505f3874eec2da35539df433379ddcf006cf0a26e16f1fbe11e364a7`