Print filename and count in CI

JetBrains-Research · Aug 20, 2024 · 22878ad · 22878ad
1 parent fe55003
commit 22878ad
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -13,8 +13,12 @@
         packages = {
           dafny-check = pkgs.writeShellScriptBin "dafny-check" ''
             DIR=''${1:-.}
+            file_count=$(find "$DIR" -maxdepth 1 -name "*.dfy" -printf '.' | wc -m | sed 's/ //g')
+            file_no=0
             for f in "$DIR"/*.dfy
             do
+                file_no=$((file_no+1))
+                echo "Running dafny on $(basename "$f") ($file_no/$file_count)"
                 ${pkgs.dafny}/bin/dafny verify --allow-warnings --verification-time-limit 2400 $f || exit 1
             done
           '';