TEMP debugging on alpine

mit-plv · Nov 12, 2023 · c7393a6 · c7393a6
1 parent 523fb57
commit c7393a6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
@@ -117,6 +117,9 @@ jobs:
         tar -xzvf fiat-crypto-alpine-edge.tar.gz
         ls -la .
         for prog in word_by_word_montgomery unsaturated_solinas saturated_solinas base_conversion; do
+          echo "::group::ls -la ./$prog"
+          ls -la ./$prog
+          echo "::endgroup::"
           echo "::group::$prog"
           ./$prog -h
           echo "::endgroup::"