CI

Remove docs generation from makefile so and add a CONTRIBUTING.md #372

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Tests (ubuntu-latest, 7.2, default)	1m 23s
Tests (ubuntu-latest, 7.3, default)	1m 29s
Tests (ubuntu-latest, 7.4, default)	1m 26s
Tests (ubuntu-latest, 8.0, default)	1m 23s
Tests (ubuntu-latest, 8.1, default)	1m 26s
Tests (ubuntu-latest, 8.2, default)	1m 33s
Tests (ubuntu-latest, 8.0, jit)	1m 32s
Tests (ubuntu-latest, 8.1, jit)	1m 32s
Tests (ubuntu-latest, 8.2, jit)	1m 35s
	13m 19s