Upload *.timing files on failure

.github/workflows/coq-alpine.yml

@@ -80,13 +80,21 @@ jobs:
       shell: alpine.sh {0}
       run: etc/ci/github-actions-make.sh -j2 generated-files
     - run: tar -czvf generated-files.tgz fiat-*/
-      if: ${{ failure() }}
+      if: failure()
     - name: upload generated files
       uses: actions/upload-artifact@v4
       with:
         name: generated-files-${{ matrix.alpine }}
         path: generated-files.tgz
-      if: ${{ failure() }}
+      if: failure()
+    - run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
+      if: failure()
+    - name: upload generated timing files
+      uses: actions/upload-artifact@v4
+      with:
+        name: timing-files-${{ matrix.alpine }}
+        path: timing-files.tgz
+      if: failure()
     - name: standalone-haskell
       shell: alpine.sh {0}
       run: etc/ci/github-actions-make.sh -j1 standalone-haskell GHCFLAGS='+RTS -M7G -RTS'

.github/workflows/coq-archlinux.yml

@@ -45,13 +45,21 @@ jobs:
     - name: generated-files
       run: etc/ci/github-actions-make.sh -j2 generated-files
     - run: tar -czvf generated-files.tgz fiat-*/
-      if: ${{ failure() }}
+      if: failure()
     - name: upload generated files
       uses: actions/upload-artifact@v4
       with:
         name: generated-files-archlinux
         path: generated-files.tgz
-      if: ${{ failure() }}
+      if: failure()
+    - run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
+      if: failure()
+    - name: upload generated timing files
+      uses: actions/upload-artifact@v4
+      with:
+        name: timing-files-archlinux
+        path: timing-files.tgz
+      if: failure()
     - name: install-standalone-unified-ocaml
       run: etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist
     #- name: standalone-js-of-ocaml

.github/workflows/coq-debian.yml

@@ -50,13 +50,21 @@ jobs:
     - name: generated-files
       run: etc/ci/github-actions-make.sh -j2 generated-files
     - run: tar -czvf generated-files.tgz fiat-*/
-      if: ${{ failure() }}
+      if: failure()
     - name: upload generated files
       uses: actions/upload-artifact@v4
       with:
         name: generated-files-${{ matrix.debian }}
         path: generated-files.tgz
-      if: ${{ failure() }}
+      if: failure()
+    - run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
+      if: failure()
+    - name: upload generated timing files
+      uses: actions/upload-artifact@v4
+      with:
+        name: timing-files-${{ matrix.debian }}
+        path: timing-files.tgz
+      if: failure()
     - name: install-standalone-unified-ocaml
       run: etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist
     - name: standalone-js-of-ocaml

.github/workflows/coq-docker.yml

@@ -98,6 +98,14 @@ jobs:
       with:
         name: build-outputs-docker-coq-${{ matrix.env.DOCKER_COQ_VERSION }}-ocaml-${{ matrix.env.DOCKER_OCAML_VERSION }}
         path: fiat-crypto-build.tar.gz
+    - run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
+      if: failure()
+    - name: upload generated timing files
+      uses: actions/upload-artifact@v4
+      with:
+        name: timing-files-${{ matrix.env.COQ_VERSION }}
+        path: timing-files.tgz
+      if: failure()
     - name: install
       uses: coq-community/docker-coq-action@v1
       with:
@@ -371,13 +379,13 @@ jobs:
       run: etc/ci/github-actions-make.sh --warnings -f Makefile.examples -j2 generated-files
       if: github.event_name == 'pull_request'
     - run: tar -czvf generated-files.tgz fiat-*/
-      if: ${{ failure() }}
+      if: failure()
     - name: upload generated files
       uses: actions/upload-artifact@v4
       with:
         name: generated-files-${{ matrix.coq-version }}
         path: generated-files.tgz
-      if: ${{ failure() }}
+      if: failure()
 
   standalone-haskell:
     needs: build

.github/workflows/coq-macos.yml

@@ -73,6 +73,14 @@ jobs:
       run: opam exec -- etc/ci/github-actions-make.sh -j2 all
       if: ${{ matrix.os.arch != 'arm64' }}
       # js_of_ocaml is too heavy for M1 GH Action runners which have only 7GB RAM, cf https://github.com/ocsigen/js_of_ocaml/issues/1612, https://docs.github.com/en/actions/using-github-hosted-runners/about-github-hosted-runners/about-github-hosted-runners#standard-github-hosted-runners-for-public-repositories
+    - run: find . -name "*.timing" | xargs tar -czvf timing-files.tgz
+      if: failure()
+    - name: upload generated timing files
+      uses: actions/upload-artifact@v4
+      with:
+        name: timing-files-${{ matrix.os.runs-on }}
+        path: timing-files.tgz
+      if: failure()
     - name: install-standalone-unified-ocaml
       run: opam exec -- etc/ci/github-actions-make.sh install-standalone-unified-ocaml BINDIR=dist
     - name: install-standalone-js-of-ocaml

.github/workflows/coq-windows.yml

@@ -71,6 +71,15 @@ 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 -Recurse -Filter *.timing | %{ $_.FullName } | & { tar -czvf timing-files.tgz -InputObject $_ }
+      shell: pwsh
+      # if: failure()
+    - name: upload generated timing files
+      uses: actions/upload-artifact@v4
+      with:
+        name: timing-files-windows
+        path: timing-files.tgz
+      if: failure()
     - name: upload OCaml files
       uses: actions/upload-artifact@v4
       with: