Merge pull request #527 from wainersm/builder_delete_jobs-trigger

github: publish jobs if jobs-builder/trash changed

Author: fidencio

.github/workflows/publish_jobs.yml

@@ -8,6 +8,8 @@ on:
     paths:
       # Run only when the definitions of jobs changed.
       - 'jobs-builder/jobs/**'
+      # Or when the trash file changed.
+      - 'jobs-builder/trash'
 name: Publish Jenkins jobs
 jobs:
   publish: