MapServer / MapServer-documentation

Source repository for the MapServer documentation, for the live website. Please submit pull requests to the 'main' branch.
https://mapserver.org
Other
34 stars 69 forks source link

Migration from Travis CI to GitHubActions on branch-8-0 #863

Closed geographika closed 9 months ago

geographika commented 9 months ago

Follow-up to #862 - this backports the migration to GitHub Actions to the current active documentation branch which is branch-8-0.