Code

[CI] Remove dead code#1903

Code

Merged

JasonGross merged 2 commits intomastermit-plv/fiat-crypto:masterfrom JasonGross-patch-1mit-plv/fiat-crypto:JasonGross-patch-1Copy head branch name to clipboardMay 12, 2024

+3-21

Commits

Commits on May 10, 2024

• [CI] Remove dead code

  JasonGross

  committed
  f7de8ae

  Copy full SHA for f7de8ae

Commits on May 12, 2024

• [CI] Simplify docker image saving a bit more (#1905)

  JasonGross

  authored
  94ed9b3

  Copy full SHA for 94ed9b3