continuous integration (staging)

chore: split some results out of Analysis.Normed.Group.Basic (#14035) #8697

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	4s
check workflows	8s
Lint style	29s
summarize_declarations	24s
Build	25m 32s
Post-CI job	12s
	26m 49s