Verified Commit 6ed0b85c authored by anarcat's avatar anarcat
Browse files

jenkins: cross-ref with retirement proposal

parent 4fe5cc38
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
[Jenkins](https://jenkins.torproject.org/) is a Continuous Integration server that we used to build
websites and run tests from the [legacy git infrastructure](howto/git).

WARNING: Jenkins was retired at the end of 2021 and this documentation
WARNING: Jenkins was [retired at the end of 2021](policy/tpa-rfc-10-jenkins-retirement) and this documentation
is now outdated. It is kept for historical purposes.

[[_TOC_]]