diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index ad67596360bc019cfa8188b3e6a879e6d8f71a38..8d7f76cb0a9f28a8b807fabe132068f0dfaef76e 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - master
+      - 0.12.x
 concurrency:
   # Cancels pending runs when a PR gets updated.
   group: ${{ github.head_ref || github.run_id }}-${{ github.actor }}