[Merged by Bors] - feat: normalised Eisenstein series #228766
CBirkbeckbuild_fork.yml
on: pull_request_target
Lint style (fork)
3m 35s
Build (fork)
10m 26s
Post-CI job (fork)
8s
CI Success
3s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
import-graph
Expired
|
238 KB |
sha256:1f0909e50577ab84c2793f73d35a5067dac4fd86b75b635ee907860b7a5a74d0
|
|
|
mathlib4_artifact
Expired
|
1.54 GB |
sha256:01139132e981defc78430f12f768052623dc20f17add225fd7ac9b64c29ffe9a
|
|