Workflow dispatch

Jason2866 · web-flow · commit 5d4fe827dd88 · 2021-07-30T11:43:50.000+02:00
diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
@@ -1,9 +1,11 @@
-name: ESP32 Arduino
+name: ESP32 Arduino master branch
 
 on:
+  workflow_dispatch:  # Manually start a workflow
   push:
-    branches:
-    - master
+    branches: master
+    paths-ignore:
+    - '.github/**' # Ignore changes towards the .github directory
 
 jobs:
   build-libs:
