feat: lemmas for the analytic part of the proof of the Gelfond–Schneider theorem (Part 5/5) #271469
Triggered via pull request
February 20, 2026 22:15
mkaratarakis
mkaratarakis
synchronize
#35317
Status
Failure
Total duration
3m 8s
Artifacts
–
build_fork.yml
on: pull_request_target
ci (fork)
/
Build
3m 6s
ci (fork)
/
Lint style
1m 30s
ci (fork)
/
Post-CI job
0s
Annotations
5 errors and 1 warning
|
ci (fork) / Lint style
Process completed with exit code 1.
|
|
ci (fork) / Build
Process completed with exit code 1.
|
|
ci (fork) / Build
Process completed with exit code 1.
|
|
ci (fork) / Build
Process completed with exit code 1.
|
|
ci (fork) / Build
Process completed with exit code 1.
|
|
ci (fork) / Build
Cache directory does not exist: /home/lean/.cache/mathlib
|