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/CD overview ====== The CI/CD is currently handled by Github Actions, see: https://github.com/tlaplus/tlaplus/blob/master/.github/ The tests are run as part of every PR and for every merge to main. The codebase is built against both Mac and Linux. There are no performance testing as the last sponsor has pulled resources around 2022. codebase/ci_cd.txt Last modified: 2024/09/28 22:40by fponzi
fponzi