[Merged by Bors] - feat(Order): order types #262266
Triggered via pull request
January 16, 2026 13:23
YanYablonovskiy
YanYablonovskiy
synchronize
#34034
Status
Success
Total duration
15m 54s
Artifacts
2
build_fork.yml
on: pull_request_target
Build (fork)
12m 2s
Lint style (fork)
2m 0s
Post-CI job (fork)
8s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
268 KB |
sha256:49354e0a9c151c919adada002caf5d136e4f5165052b39d0fe0062c7089f8342
|
|
|
mathlib4_artifact
|
1.84 GB |
sha256:b44bc89d64ab05cc8966ef2aa194f46970b3a8774fff87ad325e81aadaf03b7c
|
|