Skip to content

Conversation

@eyberg
Copy link
Contributor

@eyberg eyberg commented Dec 12, 2024

klib dir was being set erroneously when not using nightly - this now sets it according to whatever kernel is being set

@eyberg eyberg merged commit 5a1d9c9 into master Dec 13, 2024
1 check passed
@eyberg eyberg deleted the setProperKlib branch December 13, 2024 00:14
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