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

Use lower case for macos in script names #266

Merged
merged 1 commit into from
Feb 18, 2024
Merged

Use lower case for macos in script names #266

merged 1 commit into from
Feb 18, 2024

Conversation

SeanTAllen
Copy link
Member

Let's not get into trouble with that case insensitive file system.

Let's not get into trouble with that case insensitive file system.
@ponylang-main ponylang-main added the discuss during sync Should be discussed during an upcoming sync label Feb 18, 2024
@SeanTAllen SeanTAllen merged commit b38d9e4 into main Feb 18, 2024
11 of 12 checks passed
@SeanTAllen SeanTAllen deleted the macos-lc branch February 18, 2024 20:20
@ponylang-main ponylang-main removed the discuss during sync Should be discussed during an upcoming sync label Feb 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants