Back to pull request #289

Added synonym `SimplicialGon` for `SimplicialUmbrella` #505

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
master	3m 52s
stable-4.13	3m 50s
Build manuals	5m 27s
stable-4.12	4m 21s
	17m 30s