Code

Drop CI testing of 8.16#1708

Code

Merged

JasonGross merged 5 commits intomit-plv:mastermit-plv/fiat-crypto:masterfrom JasonGross:drop-8.16JasonGross/fiat-crypto:drop-8.16Copy head branch name to clipboardNov 9, 2023

Commits

Commits on Nov 9, 2023

• Drop CI testing of 8.16

  Show description for 363a11a
  JasonGross

  committed
  363a11a

  Copy full SHA for 363a11a

• Swap win and mac

  Show description for 24cdfd1
  JasonGross

  committed
  24cdfd1

  Copy full SHA for 24cdfd1

• Try adding coq-released

  JasonGross

  committed
  2f74798

  Copy full SHA for 2f74798

• Add default opam repo

  JasonGross

  committed
  f182083

  Copy full SHA for f182083

• Remove maybe useless added repo?

  JasonGross

  committed
  b1d1085

  Copy full SHA for b1d1085