Differences

This shows you the differences between two versions of the page.

Link to this comparison view

codebase:ci_cd [2024/09/28 15:58] – created - external edit 127.0.0.1codebase:ci_cd [2024/09/28 22:40] (current) fponzi
Line 1: Line 1:
 ====== CI/CD overview ====== ====== CI/CD overview ======
  
-The CI/CD is currently handled by Github Actions. +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. 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.1727539092.txt.gz
  • Last modified: 2024/09/28 15:58
  • by 127.0.0.1