Code

CI updates#513

Code

Merged

jmid merged 5 commits intomainocaml-multicore/multicoretests:mainfrom ci-updatesocaml-multicore/multicoretests:ci-updatesCopy head branch name to clipboardJan 15, 2025

+1-164

Commits

Commits on Jan 14, 2025

• Remove 500 badges from README

  jmid

  committed
  79cf103

  Copy full SHA for 79cf103

• Remove 500 workflows

  jmid

  committed
  48119cd

  Copy full SHA for 48119cd

• Remove Linux 5.1 musl badge

  jmid

  committed
  e6713ac

  Copy full SHA for e6713ac

• Remove Linux 5.1 musl workflow

  jmid

  committed
  e6f50d4

  Copy full SHA for e6f50d4

• Use setup-ocaml v3 in gh-pages workflow

  jmid

  committed
  91072aa

  Copy full SHA for 91072aa