From c7393a6bac7ee6fbccbdc8aa69ca7c7b5bc4b5cc Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sat, 11 Nov 2023 22:04:40 -0800
Subject: [PATCH] TEMP debugging on alpine

---
 .github/workflows/coq-alpine.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
index 9d4273898d..c0e8e51a11 100644
--- 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::"