Skip to content

Fix minor issues

Fix minor issues #127

Test on ubuntu-20.04

succeeded Jan 11, 2025 in 23s