[Merged by Bors] - perf(LinearAlgebra/RootSystem/GeckConstruction/Relations): get rid of some aesop
#271466
Triggered via pull request
February 20, 2026 21:57
GrigorenkoPV
GrigorenkoPV
opened
#35587
Status
Success
Total duration
11m 16s
Artifacts
2
build_fork.yml
on: pull_request_target
ci (fork)
/
Build
7m 21s
ci (fork)
/
Lint style
1m 57s
ci (fork)
/
Post-CI job
10s
Annotations
1 warning
|
ci (fork) / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
cache-staging
|
448 KB |
sha256:bd95abb87a10f3796ca0f5ebefb86ca95f9779ee62a3b713f8da39cf5e52a411
|
|
|
import-graph
Expired
|
276 KB |
sha256:da854837b1bab85ca9d7fdf711fd9cbeb599092c7860d00569f35b1d81bd9b6f
|
|