If you want to quickly have a repository with CI running to verify your specs, please check out this template: https://github.com/FedericoPonzi/tlaplus-specs-template