Skip to content

[Merged by Bors] - feat: Eisenstein q exp identity #246049

[Merged by Bors] - feat: Eisenstein q exp identity

[Merged by Bors] - feat: Eisenstein q exp identity #246049

Triggered via pull request November 14, 2025 13:23
@CBirkbeckCBirkbeck
synchronize #27606
Status Success
Total duration 14m 19s
Artifacts 2

build_fork.yml

on: pull_request_target
Post-Build Step (fork)
3m 6s
Post-Build Step (fork)
Post-CI job (fork)
6s
Post-CI job (fork)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
import-graph Expired
253 KB
sha256:4a8a39a9fa25a8ba997158bb1e05ae7f4623275fd831b76e27b7da32b098efb3
mathlib4_artifact Expired
1.68 GB
sha256:73c94e15906730930bf2c915b3be121c76d34b61cdb982be5189a5fb44cc8b69