[Merged by Bors] - chore: delete unused test file #238566
grunwegbuild_fork.yml
on: pull_request_target
Build (fork)
11m 27s
Lint style (fork)
3m 8s
Post-CI job (fork)
5s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
246 KB |
sha256:af44fe4d416535f54bc6778779a2e43b3c639a870dcf6a75c44f446aed447eb0
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:2313e9c7ae54d994799bd26529cdce290d52292b418ec273e7e4563aa90c95f2
|
|