[ci] fix diff executable not found issue

Signed-off-by: Avimitin <[email protected]>
chipsalliance · May 14, 2024 · 063236a · 063236a
1 parent 245a4e5
commit 063236a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/daily-regression.yml b/.github/workflows/daily-regression.yml
@@ -167,7 +167,8 @@ jobs:
           old=$(showCirctClosure)
           nix flake update nixpkgs-for-circt
           new=$(showCirctClosure)
-          if diff -u <(echo $old) <(echo $new); then
+          diff_bin="$(nix build '.#diffutils' --no-link --print-out-paths)/bin/diff"
+          if "$diff_bin" -u <(echo $old) <(echo $new); then
             # if unchanged
             git restore flake.lock
           fi