Closed dgryski closed 1 year ago
Fixed up some issues with the generated main for -k str.
-k str
CI fails for unrelated reasons, maybe some kind of DNS error for ubuntu's package servers. See #411 for that. I'll go ahead and merge this PR, we can address #411 separately.
Thank you!
Fixed up some issues with the generated main for
-k str
.