summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorEgor Tensin <egor@tensin.name>2026-02-28 20:11:30 +0100
committerEgor Tensin <egor@tensin.name>2026-02-28 20:11:30 +0100
commitf1496eb2e07bc51003a72b119d5dd3765c0b0873 (patch)
tree4f86189e233a679ab9a5c02a4cd9ef9eece8063d
parentworkflows/ci: use actions instead of custom scripts (diff)
downloadmath-server-f1496eb2e07bc51003a72b119d5dd3765c0b0873.tar.gz
math-server-f1496eb2e07bc51003a72b119d5dd3765c0b0873.zip
workflows/ci: don't run double for Dependabot PRs
-rw-r--r--.github/workflows/ci.yml2
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 7846683..ad89790 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,8 @@ name: CI
on:
push:
+ branches-ignore:
+ - 'dependabot/**'
pull_request:
workflow_dispatch: