CI

Fix size issue in `SpStabilizerOfIsotropicSubspace` #586

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build manuals	2m 7s
master	33m 4s
stable-4.14	34m 31s
stable-4.13	24m 47s
stable-4.12	7m 39s
	1h 42m 8s