Skip to content

refactor: remove import-only aggregator files #2755

refactor: remove import-only aggregator files

refactor: remove import-only aggregator files #2755

Triggered via pull request July 8, 2026 10:42
Status Success
Total duration 19m 11s
Artifacts 1

ci.yml

on: pull_request
Check mk_all executed
2m 12s
Check mk_all executed
Check references.bib format
25s
Check references.bib format
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
32.7 MB
sha256:c956816df2286ef0823f507628842e630c92990ba2c89f6108cdd2f682a81d01