From 03bccfeeaec466f80c681b8b8c78f28f3f895894 Mon Sep 17 00:00:00 2001 From: Sawako Yamanaka Date: Sun, 27 Sep 2026 08:26:32 +0000 Subject: [PATCH] ci: run existing checks for dev pull requests Co-Authored-By: Paperclip --- .github/workflows/ci.yml | 2 +- .github/workflows/wfl-config-lint.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 79343ef71..4e8ad701d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -5,7 +5,7 @@ on: push: branches: [ main ] pull_request: - branches: [ main ] + branches: [ main, dev ] # Without this, every push to a branch leaves the previous run compiling a # commit whose result nobody will ever read. A superseded clippy-and-test run diff --git a/.github/workflows/wfl-config-lint.yml b/.github/workflows/wfl-config-lint.yml index 5a5de3fb5..be60c3cd2 100644 --- a/.github/workflows/wfl-config-lint.yml +++ b/.github/workflows/wfl-config-lint.yml @@ -4,7 +4,7 @@ on: push: branches: [ main ] pull_request: - branches: [ main ] + branches: [ main, dev ] permissions: contents: read