adaptation notes #5675
kim-embuild.yml
on: push
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
261 KB |
sha256:097e70a8399afc64b1e2569752593caff087bb2ff4a669eeb3f14cbca27a1b80
|
|
|
mathlib4_artifact
|
2.02 GB |
sha256:886ba1ca7c52cc91a86f1baae61e3c8817f0fcece5ef5b74f6efbc12cf4b85f5
|
|