Update name of workflow

janestreet · Dec 10, 2024 · 21b88b5 · 21b88b5
1 parent d3a1b3a
commit 21b88b5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/compiler-merge.yml b/.github/workflows/compiler-merge.yml
@@ -1,4 +1,4 @@
-name: Syntax changes reminder
+name: Compiler merge checklist
 
 on:
   pull_request_target: