test if file exists before attempt to cat it

LanguageMachines · Aug 30, 2024 · cb7134d · cb7134d
1 parent c3b813e
commit cb7134d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/timblserver.yml b/.github/workflows/timblserver.yml
@@ -138,7 +138,7 @@ jobs:
         if: ${{ env.action_status == '' && steps.configure.outcome != 'success' }}
         run: |
            echo "action_status=configure" >> $GITHUB_ENV
-           cat config.log
+           [ -f config.log ] && cat config.log
       - name: make
         if: ${{ env.action_status == '' }}
         id: make