Code

Push CI images to ghcr.io#3422

Code

Open

gebner wants to merge 5 commits intomasterFStarLang/FStar:masterfrom gebner_ghcrFStarLang/FStar:gebner_ghcrCopy head branch name to clipboard

+15-16

Commits

Commits on Aug 28, 2024

• Update release OCaml version to 4.14

  gebner

  committed
  912baf6

  Copy full SHA for 912baf6

• Use OCaml 4.14 in package dockerfile

  gebner

  committed
  bc5917b

  Copy full SHA for bc5917b

• Push image to ghcr.io

  gebner

  committed
  ad4f8b5

  Copy full SHA for ad4f8b5

• Use ghcr.io image in CI build

  gebner

  committed
  bfc320f

  Copy full SHA for bfc320f

• Make docker-ci pull the latest CI image.

  gebner

  committed
  feebd13

  Copy full SHA for feebd13