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.