From 82a7da2969be792646c56c18401949694a9ca680 Mon Sep 17 00:00:00 2001 From: Andrei Malashkin Date: Fri, 13 Sep 2024 12:04:39 +0200 Subject: [PATCH] add more logs --- .github/workflows/pull_request.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 91ce03a..9c58042 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -192,7 +192,10 @@ jobs: - name: List artifacts working-directory: ${{ steps.strings.outputs.artifact-dir }} - run: find . + run: | + pwd + ls -l -a + find . - name: Make proofs for pairs working-directory: ${{ steps.strings.outputs.artifact-dir }}