GitHub actions: Avoid linting on push.

Signed-off-by: Jérôme Benoit <jerome.benoit@sap.com>

diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index d664a1f3fa9bedc06eb5533325ff686463869690..3d7a77e6945905f7fdf530dc1bfff6c761a06f75 100644 (file)
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -1,9 +1,9 @@
 name: Lint CI
 
 on:
-  push:
-    branches:
-      - master
+  # push:
+  #   branches:
+  #     - master
   pull_request:
     branches:
       - master