CI: limit the on push triggers

Since now we have workflow_dispatch, we can trigger a workflow manually in case we don't have an open PR. Also, remove the custom `ci skip` code; it's supported natively for some time now: https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/
2026-05-27 14:46:01 +03:00 · 2021-12-20 14:31:06 +02:00
parent a9b3445060
commit a44d91b09e
8 changed files with 20 additions and 15 deletions
@@ -2,8 +2,8 @@ name: Docs

 on:
  push:
-    branches-ignore:
-      - "dependabot/**"
+    branches:
+      - main
  pull_request:
  workflow_dispatch: