Skip to content

Add "pgindent" rule for make to run pgindent (#71) #93

Add "pgindent" rule for make to run pgindent (#71)

Add "pgindent" rule for make to run pgindent (#71) #93

Triggered via push November 9, 2023 08:13
Status Success
Total duration 5m 59s
Artifacts 14
Matrix: build_and_test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
master-pg10-use-healpix-0-6809066620 Expired
6.75 KB
master-pg10-use-healpix-1-6809066620 Expired
42.5 KB
master-pg11-use-healpix-0-6809066620 Expired
6.76 KB
master-pg11-use-healpix-1-6809066620 Expired
42.5 KB
master-pg12-use-healpix-0-6809066620 Expired
6.95 KB
master-pg12-use-healpix-1-6809066620 Expired
42.7 KB
master-pg13-use-healpix-0-6809066620 Expired
7.54 KB
master-pg13-use-healpix-1-6809066620 Expired
47.9 KB
master-pg14-use-healpix-0-6809066620 Expired
7.54 KB
master-pg14-use-healpix-1-6809066620 Expired
47.9 KB
master-pg15-use-healpix-0-6809066620 Expired
6.9 KB
master-pg15-use-healpix-1-6809066620 Expired
47.3 KB
master-pg16-use-healpix-0-6809066620 Expired
6.93 KB
master-pg16-use-healpix-1-6809066620 Expired
47.3 KB