continuous integration

feat: Hölder triples / conjugates as a type class #165740

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint style	1m 20s
Build	8m 26s
Post-CI job	12s
	9m 58s