[Merged by Bors] - feat: gaussianReal_ext_iff
#238814
Triggered via pull request
October 14, 2025 11:07
RemyDegenne
RemyDegenne
synchronize
#30414
Status
Success
Total duration
13m 24s
Artifacts
2
build_fork.yml
on: pull_request_target
Build (fork)
10m 49s
Lint style (fork)
2m 0s
Post-CI job (fork)
4s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
246 KB |
sha256:21953545f8dd20284f8abdd713e95e241b2431ea9ceeb17d4af14e382f5c3074
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:33cb8f7dde531d4b988878d779a8d770b473049126291a129623e813ed12b0d8
|
|