Rename CI workflow (#1090)

SRGSSR · Dec 5, 2024 · fe43f53 · fe43f53
1 parent 34fe102
commit fe43f53
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/pull-request.yml → .github/workflows/ci.yml b/.github/workflows/pull-request.yml → .github/workflows/ci.yml
@@ -1,5 +1,5 @@
 ---
-name: Pull Request
+name: CI
 
 on:  # yamllint disable-line rule:truthy
   merge_group: