Small victory: managed to set up a GitHub Action to run the tests provided with each nand2tetris project and update a status badge in the README. Not a difficult task, especially with all the documentation available, but is it ever satisfying to see those green “passing” badges!