Skip to content

Conversation

@wmuth
Copy link
Contributor

@wmuth wmuth commented Mar 31, 2025

@david-broman Please merge asap

Currently there is a bug such that only the first arg is sent to tup, not the whole array. Make works fine.

@wmuth
Copy link
Contributor Author

wmuth commented Mar 31, 2025

The CI check had an internal error, seems to be an issue unrelated to this change. E: Seems like it had an internet connectivity error while running the setting up of the CI.

@david-broman david-broman merged commit c8a5083 into miking-lang:develop Apr 6, 2025
0 of 2 checks passed
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