[Merged by Bors] - feat(NumberTheory/ModularForms/EisensteinSeries): Update gammaSet #229074
CBirkbeckbuild_fork.yml
on: pull_request_target
Lint style (fork)
2m 25s
Build (fork)
15m 32s
Post-CI job (fork)
5s
CI Success
3s
Annotations
1 warning
|
Build (fork)
Cache directory does not exist: /home/lean/.cache/mathlib
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
238 KB |
sha256:14e7136a0c015adff1200005fd982d8c235e967a44706c4edd82bdd3a7e79f78
|
|
|
mathlib4_artifact
Expired
|
1.55 GB |
sha256:8e201cb3fbef7da49bce2099bb3fac4a219f6364dd705d03c4cffa3171378c9b
|
|