Build with optimisation set in SPR, and with the bug-fix from Martin #117

Job	Run time
Redeploy / Setup CI	23s
Configs	0s
Bump	0s
Redeploy / !redeploy Pending	7s
Redeploy / Deploy (Gadi) / Gadi: Check Config	1m 35s
Redeploy / Deploy (Gadi) / Gadi: Check Spack Manifest	9s
Redeploy / Deploy (Gadi) / Gadi / Deploy to Gadi Prerelease	7m 31s
Redeploy / Deploy (Gadi) / Gadi:Outputs Upload	3s
Redeploy / !redeploy Status failure	11s
Redeploy / Post-Deploy Notifier	1m 28s
	11m 27s

Provide feedback