From eff618420c2828128ad1290b2ade46c8bce943d4 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 5 Feb 2025 15:15:22 -0800 Subject: [PATCH] Update coq-windows.yml --- .github/workflows/coq-windows.yml | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml index 73156d7cdc..461d3d7608 100644 --- a/.github/workflows/coq-windows.yml +++ b/.github/workflows/coq-windows.yml @@ -44,10 +44,14 @@ jobs: uses: ocaml/setup-ocaml@v3 with: ocaml-compiler: 4.13.1 - - run: Get-ChildItem -Path . -Filter "*.timing" -Recurse | Compress-Archive -DestinationPath timing-files.zip + - name: aggregate timing files for upload + run: | + $files = Get-ChildItem -Path . -Filter "*.timing" -Recurse + $files | ForEach-Object { Write-Output "Adding: $_" } + $files | Compress-Archive -DestinationPath timing-files.zip -Force shell: pwsh + - run: opam pin add 'ocamlfind>=1.9.7' - run: exit 1 - - run: opam pin add ocamlfind 'git+https://github.com/ocaml/ocamlfind.git#master' - run: opam pin add --kind=version coq ${{ env.COQ_VERSION }} - run: opam install js_of_ocaml - run: opam install conf-time conf-gcc @@ -74,7 +78,11 @@ jobs: run: opam exec -- bash etc/ci/github-actions-make.sh -j${{ env.NJOBS }} c-files lite-generated-files - name: only-test-amd64-files-lite run: opam exec -- bash etc/ci/github-actions-make.sh -j${{ env.NJOBS }} only-test-amd64-files-lite SLOWEST_FIRST=1 - - run: Get-ChildItem -Path . -Filter "*.timing" -Recurse | Compress-Archive -DestinationPath timing-files.zip + - name: aggregate timing files for upload + run: | + $files = Get-ChildItem -Path . -Filter "*.timing" -Recurse + $files | ForEach-Object { Write-Output "Adding: $_" } + $files | Compress-Archive -DestinationPath timing-files.zip -Force shell: pwsh # if: failure() - name: upload generated timing files