New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

os.replace() instead of os.rename() to save checkpoint #260

Merged

sjfleming merged 1 commit into sf_posterior_int_overflow from sf_windows_checkpoint_file_rename_fix

Aug 28, 2023

Member

sjfleming commented Aug 28, 2023

Fixes Windows bug #250

Merging it into sf_posterior_int_overflow because I added a Windows github action test there, and the test fails without this fix.


          os.replace() instead of os.rename() to save checkpoint

015132c

Fixes Windows bug #250

sjfleming added the bug label

sjfleming merged commit 0da3ed5 into sf_posterior_int_overflow

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug