ci: More information for new contributors (#35109) #21530
mathlib-bors[bot]bors.yml
on: push
ci (staging)
/
Build
8m 35s
ci (staging)
/
Lint style
2m 10s
ci (staging)
/
Post-CI job
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
273 KB |
sha256:83919e7d60fbfdbc39c6592771b1f08501787f6e14c24d07e1b1927ba2203ae4
|
|