CIL Fixes deploy branch configuration

ReasonOCamlIndia · May 31, 2024 · 8893939 · 8893939
1 parent 41657d9
commit 8893939
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -4,7 +4,7 @@ on:
   workflow_dispatch:
   push:
     branches:
-      - main
+      - master
 jobs:
   build:
     name: Build Docusaurus