From 9b1ba25c8057698176af5a31f4cff0a8c885de3c Mon Sep 17 00:00:00 2001
From: Li-yao Xia <lysxia@gmail.com>
Date: Thu, 12 Mar 2026 10:37:08 +0100
Subject: [PATCH] ci: Run nightly on dev branch

---
 .github/workflows/nightly.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/nightly.yaml b/.github/workflows/nightly.yaml
index 3718cc0..ceafc47 100644
--- a/.github/workflows/nightly.yaml
+++ b/.github/workflows/nightly.yaml
@@ -1,4 +1,5 @@
 name: Nightly
+# Note: this job only checks out the dev branch! (see `ref: dev`)
 on:
   schedule:
     - cron: '0 2 * * *'
@@ -9,6 +10,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+        with:
+          ref: dev
 
       - uses: ocaml/setup-ocaml@v3
         with: