Skip to content

Ensure periodic saving fires immediately after runner task is finished#440

Merged
basnijholt merged 2 commits intopython-adaptive:mainfrom
jbweston:fix/periodic-saving
Jul 19, 2023
Merged

Ensure periodic saving fires immediately after runner task is finished#440
basnijholt merged 2 commits intopython-adaptive:mainfrom
jbweston:fix/periodic-saving

Commits

Commits on Jul 17, 2023