tree b9bf5d6c97793ee3ad3d77a9f2d1baf665418347
parent 7b1755b67942452843398f1031ff266b0768bf72
author David Chisnall <github@theravensnest.org> 1731078498 +0000
committer David Chisnall <github@theravensnest.org> 1731078512 +0000

Fix name of nightly job.