[Merged by Bors] - feat(NumberTheory/SumTwoSquares): it is decidable whether a number is the sum of two squares #239078
Triggered via pull request
October 15, 2025 14:49
SnirBroshi
SnirBroshi
synchronize
#30273
Status
Success
Total duration
28m 2s
Artifacts
2
build_fork.yml
on: pull_request_target
Build (fork)
11m 54s
Lint style (fork)
27m 49s
Post-CI job (fork)
6s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
|
246 KB |
sha256:3ecc2ea120d1a385e7228493d5cca81d369b9d91d20aa0feea75d9e42767677e
|
|
|
mathlib4_artifact
|
1.61 GB |
sha256:6ca1dbfdab747f24bba5ae4f4d8b929b71de4e7dea8ed54d2325cf43a0b8a79e
|
|