continuous integration (mathlib forks)

[Merged by Bors] - feat: Eisenstein q exp identity #246049

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build (fork)	11m 0s
Lint style (fork)	1m 47s
Post-Build Step (fork)	3m 6s
Post-CI job (fork)	6s
	15m 59s

⚡