Code

Add check and prove steps to CI#70

Code

Draft

carrala wants to merge 4 commits intoGaloisInc:masterGaloisInc/cryptol-specs:masterfrom carrala:update-cicarrala/cryptol-specs:update-ciCopy head branch name to clipboard

+596-220

Commits

Commits on Jan 22, 2024

• Check and prove scripts for CI

  

  Alannah Carr

  committed
  239a7a1

  Copy full SHA for 239a7a1

• Update scripts

  

  Alannah Carr

  committed
  32f429b

  Copy full SHA for 32f429b

• Batch files script

  

  Alannah Carr

  committed
  7308f25

  Copy full SHA for 7308f25

Commits on Jan 26, 2024

• try just common

  

  Alannah Carr

  committed
  22316ca

  Copy full SHA for 22316ca