Bump `mathlib` dependency to edc39bf (#202) · LeanMachineLearning/LML@669fbd2

Triggered via push July 30, 2026 05:36

main

Status Success

Total duration 49m 36s

Artifacts 1

blueprint.yml

on: push

2 warnings 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, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

could not push the provenance ledger; the next run will fold this revision together with the following one

baseline is collected-data version 6 but this build writes 10; skipping the revision diff

Produced during runtime

Name	Size	Digest
referee-data	2 MB	`sha256:4652de632fea089a92e6f2ba8adfdd244aeb55069b3b3442172e9ed61fc40a73`