Only test changed files in PRs

.github/workflows/test-dafny.yml → .github/workflows/test-dafny-all.yml

@@ -1,14 +1,17 @@
 name: Test All Dafny Files
 
-on: [push]
+on:
+  push:
+    branches:
+      - main
 jobs:
   test:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v4
       - name: Install Nix
         uses: cachix/install-nix-action@v20
-      - name: Test if all dafny files are named correctly
+      - name: Test that all dafny files are named correctly
         run: nix run .#dafny-namecheck
       - name: Run Dafny on all files
         run: nix run .#dafny-check

.github/workflows/test-dafny-new.yml

@@ -0,0 +1,20 @@
+name: Test New Dafny Files
+
+on:
+  push:
+    branches:
+      - '*'
+      - '*/*'
+      - '**'
+      - '!main'
+jobs:
+  test:
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v4
+      - name: Install Nix
+        uses: cachix/install-nix-action@v20
+      - name: Test that all dafny files are named correctly
+        run: nix run .#dafny-namecheck
+      - name: Run Dafny on all files
+        run: nix run .#dafny-check-new

flake.nix

@@ -13,6 +13,7 @@
         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
@@ -23,6 +24,18 @@
             done
           '';
 
+          dafny-check-new = pkgs.writeShellScriptBin "dafny-check" ''
+            files_changed=$(git diff --name-only main | grep '\.dfy$')
+            file_count=0
+            for f in $files_changed; do file_count=$((file_count+1)); done
+            for f in $files_changed
+            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
+          '';
+
           dafny-namecheck = pkgs.writeShellScriptBin "dafny-namecheck" ''
             # Directory to check, use current directory if not specified
             DIR=''${1:-.}