continuous integration (staging)

feat: `f⁻¹` is continuous iff `f` is (#13951) #8642

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	29m 9s
Cancel Previous Runs (CI)	6s
Lint style	26s
check workflows	11s
summarize_declarations	23s
Post-CI job	12s
	30m 27s