Skip to content
.github/workflows/main.yml

.github/workflows/main.yml #2344

Sign in to view logs

.github/workflows/main.yml

.github/workflows/main.yml #2344

Triggered via schedule August 19, 2026 02:23
@robertylewisrobertylewis
⁠ f6ed478
master
Status Success
Total duration 3m 37s
Artifacts –

main.yml

on: schedule
Generate statistics about the mathlib repo
3m 33s
Generate statistics about the mathlib repo
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Generate statistics about the mathlib repo
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/create-github-app-token@29824e69f54612133e76f7eaac726eef6c875baf, EndBug/add-and-commit@a94899bca583c204427a224a7af87c02f9b325d5. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/