chore: force flush of file in state saving
Passed
João Magalhães
created pipeline for commit
8c705006
, finished
For master
9 minutes 28 seconds, queued for 2 seconds