[Merged by Bors] - chore: adaptation for batteries#1500 #249345
fgdoraisbuild_fork.yml
on: pull_request_target
Build (fork)
1h 0m
Lint style (fork)
2m 6s
Post-CI job (fork)
5s
Annotations
1 error
|
Build (fork)
Process completed with exit code 3.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
257 KB |
sha256:87db86664db0986ba3ba29b582ec1497346ac7e5a965f7e482752ebd611679b6
|
|
|
mathlib4_artifact
|
1.96 GB |
sha256:e22f6d05944f360ea63a72ed9984e37deda1a33c85de5ac64e1012b5c44744bf
|
|