Fix the sync-2025-10-09 PR #9

Open

ranjitjhala wants to merge 2 commits intosync-2025-10-09from

sync-2025-10-09-fix

Commits on Nov 4, 2025

update PR to work with latest flux

ranjitjhala
authored and
nilehmann
committed
modify flux.yml to use nightly build

ranjitjhala
authored and
nilehmann
committed