continuous integration (staging)

chore(Data/Real/EReal): `theorem`s to `lemma`s (#14324) #8858

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	46m 23s
Cancel Previous Runs (CI)	6s
check workflows	8s
Lint style	42s
Post-CI job	0s
	47m 19s