Open kornrunner opened 1 year ago
This should handle #172
When uopz.exit is disabled, actual call to exit() implicitly returns and violates never return type check.
uopz.exit
exit()
I'd appreciate it if @cmb69 or @remicollet could check it / merge it. Thanks!
Closing and re-opening to (hopefully) trigger the CI workflow.
This should handle #172
When
uopz.exit
is disabled, actual call toexit()
implicitly returns and violates never return type check.I'd appreciate it if @cmb69 or @remicollet could check it / merge it. Thanks!