Running status still shows Checkpointing
even after checkpointing has completed
#264
Labels
bug
Something isn't working
Checkpointing successfully finished ~20 mins ago (and model checking has resumed) but the running status still shows
Checkpointing
. I am running v1.5.4.The text was updated successfully, but these errors were encountered: