continuous integration (staging)

feat: add `simp` attributes to some `IsSelfAdjoint` lemmas (#14209) #8804

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cancel Previous Runs (CI)	6s
check workflows	8s
Lint style	42s
Build	37m 30s
Post-CI job	8s
	38m 34s