HOL-Light: Retrigger upon changes to flake.nix

Signed-off-by: Hanno Becker <[email protected]>

Author: hanno-becker

.github/workflows/hol_light.yml

@@ -11,6 +11,8 @@ on:
      - 'proofs/hol_light/arm/Makefile'
      - 'proofs/hol_light/arm/**/*.S'
      - 'proofs/hol_light/arm/**/*.ml'
+     - 'flake.nix'
+     - 'flake.lock'
      - 'nix/hol_light/*'
      - 'nix/s2n_bignum/*'
   pull_request:
@@ -20,6 +22,8 @@ on:
       - 'proofs/hol_light/arm/Makefile'
       - 'proofs/hol_light/arm/**/*.S'
       - 'proofs/hol_light/arm/**/*.ml'
+      - 'flake.nix'
+      - 'flake.lock'
       - 'nix/hol_light/*'
       - 'nix/s2n_bignum/*'