Code

Upload *.timing files on failure#2012

Code

Merged

JasonGross merged 6 commits intomit-plv:mastermit-plv/fiat-crypto:masterfrom JasonGross:upload-timing-filesJasonGross/fiat-crypto:upload-timing-filesCopy head branch name to clipboardFeb 5, 2025

+63-10

Commits

Commits on Feb 5, 2025

• Upload *.timing files on failure

  Show description for a96a3bb
  JasonGross

  committed
  a96a3bb

  Copy full SHA for a96a3bb

• Update coq-windows.yml

  JasonGross

  authored
  425a12f

  Copy full SHA for 425a12f

• Try a different way

  JasonGross

  authored
  0fe1d6b

  Copy full SHA for 0fe1d6b

• Back to powershell

  JasonGross

  authored
  356f072

  Copy full SHA for 356f072

• Update coq-windows.yml

  JasonGross

  authored
  eff6184

  Copy full SHA for eff6184

• Update coq-windows.yml

  JasonGross

  authored
  6c0fcd2

  Copy full SHA for 6c0fcd2