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.

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

Windows fixes #101

Merged
merged 7 commits into from
Nov 12, 2023
Merged

Windows fixes #101

merged 7 commits into from
Nov 12, 2023

Commits on Nov 12, 2023

  1. remove extra logging statement

    bdon committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    4d90368 View commit details
    Browse the repository at this point in the history
  2. add windows CI [#38]

    bdon committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    dd243c7 View commit details
    Browse the repository at this point in the history
  3. windows path fixes [#38]

    bdon committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    3bcea87 View commit details
    Browse the repository at this point in the history
  4. windows path separators [#38]

    bdon committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    a671a63 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    17c373d View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    77b2a84 View commit details
    Browse the repository at this point in the history
  7. make fmt a separate CI step

    bdon committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    376ea25 View commit details
    Browse the repository at this point in the history