Skip to content
continuous integration (mathlib forks)

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5) #271471

Sign in to view logs

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5)

feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5) #271471

Triggered via pull request February 20, 2026 22:33
@mkaratarakismkaratarakis
synchronize #35317
Status Success
Total duration 12m 28s
Artifacts 2

build_fork.yml

on: pull_request_target
ci (fork)  /  Build
8m 41s
ci (fork) / Build
ci (fork)  /  Lint style
2m 25s
ci (fork) / Lint style
ci (fork)  /  Upload to cache
44s
ci (fork) / Upload to cache
ci (fork)  /  Post-Build Step
2m 46s
ci (fork) / Post-Build Step
ci (fork)  /  Post-CI job
7s
ci (fork) / Post-CI job
Fit to window
Zoom out
Zoom in

Annotations

1 warning
ci (fork) / Build
Cache directory does not exist: /home/lean/.cache/mathlib

Artifacts

Produced during runtime
Name Size Digest
cache-staging
7.9 MB
sha256:37bdc68eef9fdeee156da47bef96d8108c284806163d729eac27d0113745209a
import-graph Expired
275 KB
sha256:916325a4e410529b480cc47d624b232261f4d4469c10fe77ede0072576575857