From 80e474def77a7271e12222814e9fd9aac518d252 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Mon, 13 Nov 2023 10:32:10 -0800 Subject: [PATCH] [CI] Fix dumpbin paths --- .github/workflows/coq-windows.yml | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index 80adc3fdd0..92bae4e4b1 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -141,6 +141,12 @@ jobs: run: | Expand-Archive -Path dist/fiat-crypto-windows.zip -DestinationPath dist Get-ChildItem dist + - run: .\dist\word_by_word_montgomery.exe -h + - run: .\dist\unsaturated_solinas.exe -h + - run: .\dist\saturated_solinas.exe -h + - run: .\dist\base_conversion.exe -h + - name: Set up MSVC Environment for dumpbin + uses: ilammy/msvc-dev-cmd@v1 - name: Check Executable Dependencies run: | $executables = @( @@ -160,10 +166,6 @@ jobs: dumpbin.exe /dependents $prog Write-Host "::endgroup::" } - - run: .\dist\word_by_word_montgomery.exe -h - - run: .\dist\unsaturated_solinas.exe -h - - run: .\dist\saturated_solinas.exe -h - - run: .\dist\base_conversion.exe -h publish-standalone: runs-on: ubuntu-latest