CI: only run on meaningful changes

agda · Mar 26, 2024 · 4412f7e · 4412f7e
1 parent e865d8f
commit 4412f7e
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,7 +1,12 @@
 name: CI
 on:
   # schedule: [{cron: '0 0 * * *'}]
-  push: {branches: [master]}
+  push:
+    paths:
+      - '**.agda'
+      - '*.agda-lib'
+      - '.github/workflows/**.yml'
+    branches: [master]
   pull_request:
 jobs:
   build-deploy: