Board: [WWIVnet] WWIV Development Subject: Re: access to the dev-build platform From: Rushfan #1 @513 To: Xenos #1 @60 Date: Fri Nov 04, 2022 20:34 X> what is our build infra? do we have some kind of CI/CD pipeline? Yes, it's jenkins still, hosted at build.wwivbbs.org rushfan .