fix CI

Author: thomasvargiu

.github/workflows/continuous-integration.yml

@@ -1,12 +1,12 @@
 name: "Continuous Integration"
 
 on:
-  workflow_dispatch: true
+  workflow_dispatch:
   pull_request:
-    push:
-      branches:
-        - '[0-9]+.[0-9]+.x'
-        - 'master'
+  push:
+    branches:
+      - '[0-9]+.[0-9]+.x'
+      - 'master'
   schedule:
     - cron: "42 9 * * 1"