continuous integration (staging)

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	8s
Lint style	22s
check workflows	8s
Check all files imported	9s
Build	31m 21s
Post-CI job	15s
	32m 23s