Code

Windows CI using DkML#3402

Code

Open

jonahbeckford wants to merge 15 commits intoFStarLang:masterFStarLang/FStar:masterfrom jonahbeckford:dkmljonahbeckford/FStar:dkmlCopy head branch name to clipboard

+334-2

Commits

Commits on Aug 29, 2024

• win32: Add setup-dkml.cmd

  jonahbeckford

  committed
  090c2a2

  Copy full SHA for 090c2a2

• win32: Add setup-vcpkg.cmd for GMP on Windows

  jonahbeckford

  committed
  07840c6

  Copy full SHA for 07840c6

• win32: Add conf-gmp.4+vcpkg

  jonahbeckford

  committed
  ed88192

  Copy full SHA for ed88192

• win32: Add setup-z3.cmd

  jonahbeckford

  committed
  6057f21

  Copy full SHA for 6057f21

• Add "make package DISABLE_FSHARP=1" option

  jonahbeckford

  committed
  6fc7d01

  Copy full SHA for 6fc7d01

• Check for Cygwin libgmp-10.dll or native gmp-10.dll

  jonahbeckford

  committed
  55701c8

  Copy full SHA for 55701c8

• win32: Install zip

  jonahbeckford

  committed
  371ed28

  Copy full SHA for 371ed28

• win32: Add CI using DkML

  Show description for b766e34
  jonahbeckford

  committed
  b766e34

  Copy full SHA for b766e34

• win32: Install .NET

  jonahbeckford

  committed
  cb1ba94

  Copy full SHA for cb1ba94

• win32: Run Dk job on each pull request

  jonahbeckford

  committed
  ba50809

  Copy full SHA for ba50809

• win32: Use PowerShell shell for installing GMP

  Show description for c12e503
  jonahbeckford

  committed
  c12e503

  Copy full SHA for c12e503

• win32: Download tarball rather than use git

  Show description for e71d3ee
  jonahbeckford

  committed
  e71d3ee

  Copy full SHA for e71d3ee

• win32: Fail the job if ocamlc.exe is not generated during DkML build

  jonahbeckford

  committed
  5ea7631

  Copy full SHA for 5ea7631

• win32: DkML runs on GitHub Actions runner

  jonahbeckford

  committed
  01e5d1a

  Copy full SHA for 01e5d1a

• win32: MSVC version as DkML cache key. Cache .NET

  jonahbeckford

  committed
  5c1849f

  Copy full SHA for 5c1849f