Merge pull request #1753 from danieltinazzi/main

Fix progress bar
This commit is contained in:
liv 2023-11-06 12:38:01 +01:00 committed by GitHub
commit fb327612f8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -362,7 +362,10 @@ fn watch(
.iter() .iter()
.filter(|e| !e.looks_done() && !filepath.ends_with(&e.path)), .filter(|e| !e.looks_done() && !filepath.ends_with(&e.path)),
); );
let num_done = exercises.iter().filter(|e| e.looks_done()).count(); let num_done = exercises
.iter()
.filter(|e| e.looks_done() && !filepath.ends_with(&e.path))
.count();
clear_screen(); clear_screen();
match verify( match verify(
pending_exercises, pending_exercises,