+1 ..Tom
On Sat, Dec 16, 2023 at 5:22 AM Michael Smith via MapServer-dev < mapserver-dev@lists.osgeo.org> wrote: > +1 > > Michael Smith > > > On Dec 16, 2023, at 4:53 AM, Seth G via MapServer-dev < > mapserver-dev@lists.osgeo.org> wrote: > > > > Hi all, > > > > As per discussions in the budget thread [1], Travis CI costs $828/year, > and the default MapServer project budget is $1000/year. > > I propose we migrate completely away from Travis to GitHub Actions for > all MapServer projects, and close the Travis account. This will free up > budget for 2024 and beyond for other project activities. > > > > Steps include: > > > > - MapServer CI migration to GitHub Actions (GHA) - > https://github.com/MapServer/MapServer/blob/main/.travis.yml > > - Include testing of 2 versions of PHP, possibly using > https://github.com/shivammathur/setup-php > > - Include AddressSanitizer in GHA > > - MapServer Documentation migration: > https://github.com/MapServer/MapServer-documentation/blob/main/.travis.yml > > > > MapCache and TinyOWS have already moved to GHA (the legacy .travis.yml > file can be removed from MapCache). > > There remains $172 in the MapServer budget this year that will be lost > at year end that could be put towards this migration. I'm happy to take > this task on, and would aim to complete it next week, or if anyone else > wants to tackle this prrior to year end I'm fine with that too. > > > > I'll start with my +1, > > > > Seth > > > > -- > > web:https://geographika.net & https://mapserverstudio.net > > twitter: @geographika > > _______________________________________________ > > MapServer-dev mailing list > > MapServer-dev@lists.osgeo.org > > https://lists.osgeo.org/mailman/listinfo/mapserver-dev > _______________________________________________ > MapServer-dev mailing list > MapServer-dev@lists.osgeo.org > https://lists.osgeo.org/mailman/listinfo/mapserver-dev >
_______________________________________________ MapServer-dev mailing list MapServer-dev@lists.osgeo.org https://lists.osgeo.org/mailman/listinfo/mapserver-dev
