perf(to_dual): first try translating without inserting casts (#35131) #21546
mathlib-bors[bot]bors.yml
on: push
ci (staging)
/
Build
55m 16s
ci (staging)
/
Lint style
2m 3s
ci (staging)
/
Post-CI job
9s
Annotations
1 warning
|
ci (staging) / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:7796532f524fe7ea8dd1a34ef8924957e786c7b2f48fb62d383eed712c456dd6
|
|