To prevent issues like #62, #64 and #65 in the future I think that we should leverage GitHub Actions to introduce a test pipeline to automatically run and check all test cases in batch mode at least on every push into main and for every PR targeting main.
