Switch docs workflow to master branch only

goblint · May 25, 2023 · 1208190 · 1208190
1 parent 58cefe5
commit 1208190
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -3,7 +3,7 @@ name: docs
 on:
   push:
     branches:
-      - api-docs # TODO: change to master
+      - master
 
   workflow_dispatch: