Merge branch 'main' into dev

amices · Nov 24, 2023 · b6be179 · b6be179
2 parents 7dd53cb + 6a69f13
commit b6be179
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/R-CMD-check.yaml b/.github/workflows/R-CMD-check.yaml
@@ -4,7 +4,7 @@ on:
   push:
     branches: [main, master]
   pull_request:
-    branches: [main, master]
+    branches: [main, master, dev]
 
 name: R-CMD-check