DROP BEFORE MERGE temporarily add --trace to PETSc make ckeck

dsroberts · dsroberts · commit 33bf483824b4 · 2026-03-16T12:28:56.000+11:00
diff --git a/.github/workflows/core.yml b/.github/workflows/core.yml
@@ -556,7 +556,7 @@ jobs:
             --arch default --gpu-arch cuda --show-petsc-configure-options | \
             xargs -L1 ./configure --with-make-np=4
           make
-          make check
+          make --trace check
           {
             echo "PETSC_DIR=/__w/firedrake/firedrake/petsc"
             echo "PETSC_ARCH=arch-firedrake-default-cuda"

Original file line number	Diff line number	Diff line change
`@@ -556,7 +556,7 @@ jobs:`
`556`	`556`	`--arch default --gpu-arch cuda --show-petsc-configure-options \| \`
`557`	`557`	`xargs -L1 ./configure --with-make-np=4`
`558`	`558`	`make`
`559`		`- make check`
	`559`	`+ make --trace check`
`560`	`560`	`{`
`561`	`561`	`echo "PETSC_DIR=/__w/firedrake/firedrake/petsc"`
`562`	`562`	`echo "PETSC_ARCH=arch-firedrake-default-cuda"`