Fix workflow

agda · Feb 12, 2024 · eb23737 · eb23737
1 parent 283ff1e
commit eb23737
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -255,6 +255,7 @@ name: Build, Test, and Benchmark
     - '!hie*.yaml'
     - '!stack-*.yaml'
     - '!touchup.sh'
+    - '!CITATION.cff'
   push:
     branches:
     - master
@@ -285,4 +286,5 @@ name: Build, Test, and Benchmark
     - '!hie*.yaml'
     - '!stack-*.yaml'
     - '!touchup.sh'
+    - '!CITATION.cff'
   workflow_dispatch: null