diary

commit 9044f058793153acf4064658cefb8dd99e98c8a1
parent 09596cb62da61d69a67adfc9f3fc9419c7d2fb9b
Author: Andreas Gruhler <agruhl@gmx.ch>
Date:   Sat, 20 Nov 2021 22:55:31 +0100

disable man action on pull_request

Diffstat:
M
.github/workflows/man.yml
 | 
2
--

1 file changed, 0 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml
@@ -3,8 +3,6 @@ name: Man page
 on:
   push:
     branches: [ master ]
-  pull_request:
-    branches: [ master ]
 
 jobs:
   man: