Show pageOld revisionsBacklinksBack to top This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== CI for your specifications ====== 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 using/ci_for_specs.txt Last modified: 2024/09/28 23:23by fponzi