Build and Check

Fix indentation in headers with pgindent #115

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
PostgreSQL 10 - USE_HEALPIX=0	1m 23s
PostgreSQL 10 - USE_HEALPIX=1	2m 10s
PostgreSQL 11 - USE_HEALPIX=0	1m 18s
PostgreSQL 11 - USE_HEALPIX=1	1m 33s
PostgreSQL 12 - USE_HEALPIX=0	1m 28s
PostgreSQL 12 - USE_HEALPIX=1	1m 35s
PostgreSQL 13 - USE_HEALPIX=0	1m 29s
PostgreSQL 13 - USE_HEALPIX=1	1m 24s
PostgreSQL 14 - USE_HEALPIX=0	1m 22s
PostgreSQL 14 - USE_HEALPIX=1	1m 29s
PostgreSQL 15 - USE_HEALPIX=0	1m 26s
PostgreSQL 15 - USE_HEALPIX=1	1m 28s
PostgreSQL 16 - USE_HEALPIX=0	1m 16s
PostgreSQL 16 - USE_HEALPIX=1	2m 2s
	21m 23s