Skip to content
continuous integration (mathlib forks)

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

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) #271469

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ci (fork) / Lint style
1m 30s
ci (fork) / Build
3m 6s
ci (fork) / Post-Build Step
-1s
ci (fork) / Upload to cache
-1s
ci (fork) / Post-CI job
0s
4m 34s