Code

Bump cryptol-remote-api to 3.1.1#1662

Code

Merged

mccleeary-galois merged 3 commits intomasterGaloisInc/cryptol:masterfrom rem/cryptol-remote-api-v3.1.1GaloisInc/cryptol:rem/cryptol-remote-api-v3.1.1Copy head branch name to clipboardMay 15, 2024

+19-10

Commits

Commits on May 15, 2024

• Add comments for ensuring that CI and cryptol-remote-api match versions.

  mccleeary-galois

  committed
  74612f9

  Copy full SHA for 74612f9

• Prepare for relase of v3.1.1 of cryptol-remote-api.

  mccleeary-galois

  committed
  3924ddd

  Copy full SHA for 3924ddd

• Change cryptol-remote-api toml file to dev version v3.1.1.99.

  mccleeary-galois

  committed
  42ee417

  Copy full SHA for 42ee417