Skip to content
CI

chore: fix mathlib/Std deprecation warnings (#834) #2749

Sign in to view logs

chore: fix mathlib/Std deprecation warnings (#834)

chore: fix mathlib/Std deprecation warnings (#834) #2749

Triggered via push July 3, 2026 21:27
@SnO2WMaNSnO2WMaN
pushed 2040d2f
master
Status Success
Total duration 27m 8s
Artifacts 2

ci.yml

on: push
Check mk_all executed
1m 57s
Check mk_all executed
Check references.bib format
29s
Check references.bib format
Build project
24m 18s
Build project
Generate page
41s
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
github-pages Expired
28.8 MB
sha256:b51c1442a7bd5032867c2f15e7158e2a2c1e2e6c6e9bc3bfc688b68f73d727f7
lean-artifacts Expired
32.5 MB
sha256:d7778ad88dd0659d2b9c3648c1a2181741ec8ddc87311706f3c578c19bdb440e