search

ros-infrastructure / rosindex

The source code for generating index.ros.org
https://index.ros.org
GNU General Public License v3.0
12 stars 24 forks source link

Add basic CI #331

Closed tfoote closed 9 months ago

tfoote commented 9 months ago

This will make sure that the site builds with a limited number of pages indexed.