fix ci

examples/default.nix

@@ -17,7 +17,7 @@
       filter = path: type:
         # We include only certain files. FStar files under the example
         # directory are listed out. Same for proverif (*.pvl) files.
-        (   matches ".*(Makefile|.*[.](rs|toml|lock|diff|fsti?|pvl))$" path
+        (   matches ".*(Makefile|.*[.](rs|toml|lock|diff|fsti?|pv))$" path
         && !matches ".*examples/.*[.]fsti?$" path
         ) || ("directory" == type);
     };