diary

commit 52aa4379eb10ee584b31e702c96e2595eae50086
parent e071b09611338cd97b49e8956c516ac8f2c1d137
Author: Andreas Gruhler <agruhl@gmx.ch>
Date:   Sat, 24 Jul 2021 17:00:20 +0200

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

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.github/workflows/man.yml b/.github/workflows/man.yml
@@ -21,7 +21,7 @@ jobs:
     - name: Add ssh key
       # https://www.webfactory.de/blog/use-ssh-key-for-private-repositories-in-github-actions
       run: |
-        ssh-agent -a ${{ env.SSH_AUTH_SOCK }} > /dev/null
+        ssh-agent -a ${{ env.SSH_AUTH_SOCK }}
         ls -l $RUNNER_TEMP
         ls -l ${{ env.SSH_AUTH_SOCK }}