diff --git a/.github/workflows/coq-alpine.yml b/.github/workflows/coq-alpine.yml
index 4f9ab1c39a..c667239ad9 100644
--- a/.github/workflows/coq-alpine.yml
+++ b/.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'
diff --git a/.github/workflows/coq-archlinux.yml b/.github/workflows/coq-archlinux.yml
index 0a3f3abc32..8c73a43c15 100644
--- a/.github/workflows/coq-archlinux.yml
+++ b/.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
diff --git a/.github/workflows/coq-debian.yml b/.github/workflows/coq-debian.yml
index 5b7ec81e32..ff68164795 100644
--- a/.github/workflows/coq-debian.yml
+++ b/.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
diff --git a/.github/workflows/coq-docker.yml b/.github/workflows/coq-docker.yml
index 2933ac74fb..434a77bf73 100644
--- a/.github/workflows/coq-docker.yml
+++ b/.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
diff --git a/.github/workflows/coq-macos.yml b/.github/workflows/coq-macos.yml
index 77f0d118ea..a9f9e2d3b7 100644
--- a/.github/workflows/coq-macos.yml
+++ b/.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
diff --git a/.github/workflows/coq-windows.yml b/.github/workflows/coq-windows.yml
index b895ccafb6..04d29bdd17 100644
--- a/.github/workflows/coq-windows.yml
+++ b/.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: