Disable unnecessary workflows for web changes (#1750)

Changes in `web/` shouldn't affect the remaining code. In particular
this change doesn't affect the hashes of images created by `image.yaml`.

Author: jaroeichler

.github/workflows/coverage.yaml

@@ -4,8 +4,12 @@ name: Coverage
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/image.yaml

@@ -1,14 +1,14 @@
 ---
 name: Create OCI image
 on:
-  pull_request:
+  push:
     branches:
       - main
-    paths-ignore:
-      - 'docs/**'
-  push:
+  pull_request:
     branches:
       - main
+    paths-ignore:
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/lre.yaml

@@ -4,10 +4,12 @@ name: Local Remote Execution
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/main.yml renamed to .github/workflows/main.yaml

@@ -4,10 +4,12 @@ name: CI
 on:
   push:
     branches: [ main ]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [ main ]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/native-bazel.yaml

@@ -4,10 +4,12 @@ name: Bazel Native
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/native-cargo.yaml

@@ -4,10 +4,12 @@ name: Cargo Native
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/nix.yaml

@@ -4,10 +4,12 @@ name: Nix
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/sanitizers.yaml

@@ -4,10 +4,12 @@ name: Sanitizers
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all
 

.github/workflows/templates.yaml

@@ -4,10 +4,12 @@ name: Templates
 on:
   push:
     branches: [main]
+    paths-ignore:
+      - 'web/**'
   pull_request:
     branches: [main]
     paths-ignore:
-      - 'docs/**'
+      - 'web/**'
 
 permissions: read-all