GitHub Actions leaking secrets when Miri output is cached