continuous integration

Update Mathlib/Topology/Algebra/ProperConstSMul.lean #42073

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check all files imported	10s
Cancel Previous Runs (CI)	3s
Lint style	52s
Build	22m 44s
Post-CI job	12s
	24m 1s