Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Windows CI using DkML #3402

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

Windows CI using DkML #3402

wants to merge 15 commits into from

Commits on Aug 29, 2024

  1. win32: Add setup-dkml.cmd

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    090c2a2 View commit details
    Browse the repository at this point in the history

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

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    07840c6 View commit details
    Browse the repository at this point in the history

  3. win32: Add conf-gmp.4+vcpkg

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    ed88192 View commit details
    Browse the repository at this point in the history

  4. win32: Add setup-z3.cmd

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    6057f21 View commit details
    Browse the repository at this point in the history

  5. Add "make package DISABLE_FSHARP=1" option

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    6fc7d01 View commit details
    Browse the repository at this point in the history

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

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    55701c8 View commit details
    Browse the repository at this point in the history

  7. win32: Install zip

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    371ed28 View commit details
    Browse the repository at this point in the history

  8. win32: Add CI using DkML 

    Uses fstar CI machines not GitHub CI machines.
    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    b766e34 View commit details
    Browse the repository at this point in the history

  9. win32: Install .NET

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    cb1ba94 View commit details
    Browse the repository at this point in the history

  10. win32: Run Dk job on each pull request

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    ba50809 View commit details
    Browse the repository at this point in the history

  11. win32: Use PowerShell shell for installing GMP 

    + Downgrade pwsh to powershell for self-hosted jobs
    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c12e503 View commit details
    Browse the repository at this point in the history

  12. win32: Download tarball rather than use git 

    There is no 'git' on 'self-hosted' CI machines.
    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    e71d3ee View commit details
    Browse the repository at this point in the history

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

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5ea7631 View commit details
    Browse the repository at this point in the history

  14. win32: DkML runs on GitHub Actions runner

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    01e5d1a View commit details
    Browse the repository at this point in the history

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

    @jonahbeckford
    Jonah Beckford authored and jonahbeckford committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    5c1849f View commit details
    Browse the repository at this point in the history