CI should ignore updates to resources directory

coq-community · Oct 2, 2023 · cbdac60 · cbdac60
1 parent a97cc27
commit cbdac60
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -1,14 +1,16 @@
-# This file was generated from `meta.yml`, please do not edit manually.
-# Follow the instructions on https://github.com/coq-community/templates to regenerate.
 name: Docker CI
 
 on:
   push:
     branches:
       - master
+    paths-ignore:
+      - 'resources/**'
   pull_request:
     branches:
       - '**'
+    paths-ignore:
+      - 'resources/**'
 
 jobs:
   build: