continuous integration (staging)

fix(AlgebraicGeometry/GammaSpecAdjunction): speedup by adding univers… #7714

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	11s
Lint style	27s
Cancel Previous Runs (CI)	5s
Build	27m 57s
check workflows	10s
Post-CI job	11s
	29m 1s