Update documentation.yml

pointfreeco · Mar 31, 2023 · ad33c18 · ad33c18
1 parent b494e14
commit ad33c18
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -9,7 +9,6 @@ on:
   push:
     branches:
       - main
-      - protocol-clocks
   workflow_dispatch:
 
 concurrency: