ci: make ci run selectively (#745)

.github/workflows/ci.yml

@@ -1,7 +1,17 @@
 name: CI
 on:
-  - push
+  push:
-  - pull_request
+    paths-ignore:
+      - "doc/**"
+      - "README.md"
+      - "**.md"
+      - "LICENSE**"
+  pull_request:
+    paths-ignore:
+      - "doc/**"
+      - "README.md"
+      - "**.md"
+      - "LICENSE**"
 jobs:
   x86_64-linux:
     runs-on: ubuntu-latest

.github/workflows/m1_ci.yml

@@ -6,7 +6,12 @@ on:
   #
   # Whenever GitHub Actions gets official M1 support, we can use that for PRs and get rid of this
   # self-hosted runner: https://github.com/actions/virtual-environments/issues/2187
-  - push
+  push:     
+    paths-ignore:
+      - "doc/**"
+      - "README.md"
+      - "**.md"
+      - "LICENSE**"
 jobs:
   aarch64-macos:
     if: ${{ github.repository == 'hexops/mach' }}

.github/workflows/push_subrepos.yml

@@ -3,6 +3,8 @@ on:
   push:
     branches:
       - "main"
+    path:
+      - "libs/**"
 jobs:
   push:
     runs-on: ubuntu-latest