Skip to content
continuous integration (mathlib forks)

feat(Trigonometric): add lemmas about cos x = -1 ↔ _ etc #70862

Sign in to view logs

feat(Trigonometric): add lemmas about cos x = -1 ↔ _ etc

feat(Trigonometric): add lemmas about cos x = -1 ↔ _ etc #70862

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check workflows (fork)
0s
Cancel Previous Runs (CI)
2s
Lint style (fork)
0s
Check all files imported (fork)
0s
Build (fork)
0s
Post-CI job (fork)
0s
2s