From 360e6f03106117d0b23eb09e29dc4bbb22129ff5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Vogel?= <cedric.vogel@edubs.ch>
Date: Sun, 25 Oct 2026 16:16:53 +0100
Subject: [PATCH] CI: run a pull request once, and main after the merge

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .github/workflows/check.yml | 6 ++++--
 README.md                   | 4 ++--
 2 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/check.yml b/.github/workflows/check.yml
index 3c6ed1b..ad494b0 100644
--- a/.github/workflows/check.yml
+++ b/.github/workflows/check.yml
@@ -1,9 +1,11 @@
 name: Check macro
 
-# The macro goes live in every course when main changes, so every push and
-# pull request checks it first.
+# The macro goes live in every course when main changes, so every pull
+# request checks it first, and main again after the merge. (A pull request's
+# branch runs once, as pull_request.)
 on:
   push:
+    branches: [main]
   pull_request:
 
 permissions:
diff --git a/README.md b/README.md
index 4101f20..2a7e330 100644
--- a/README.md
+++ b/README.md
@@ -781,8 +781,8 @@ https://liascript.github.io/LiveEditor/?/show/file/https://raw.githubusercontent
 ```
 
 `node scripts/check-macro.mjs` checks the syntax of the template's `<script>`
-blocks with `node --check`; CI runs it on every push and pull request, since a
-merge to `main` reaches every course.
+blocks with `node --check`; CI runs it on every pull request and on `main`,
+since a merge to `main` reaches every course.
 
 For local embed development, change `embedOrigin` and `embedUrl` in the template
 header to the origin printed by `npm run dev:embed` in `glpython-editor`.