Add GitHub Actions workflow for Docker image CI

[iosefa]

Introduce a CI workflow to build and push Docker images for pgRouting using multiple PostgreSQL, PostGIS, and pgRouting versions. Workflow triggers include pushes, pull requests, and a weekly schedule, ensuring consistent builds and updates. Docker Hub authentication and image publishing are configured for main and develop branches.

Fixes #56 and #60.

Changes proposed in this pull request:

• add CI workflow

@pgRouting/admins

[sanak]

@iosefa Thanks for creating this PR!
If possible, supporting the followings are more useful, I think.

1. Support pgRouting patch version (3.7.x, etc.) tag
   • Related comment: Single docker image for minor release #55 (comment)
2. Push docker images only when patch version update or commit hash update in pgRouting main and develop
   • I guess that this needs version.txt format update in main and develop, but I need to remember what I did in PR Single docker image for minor release #55...

I want to try the above 2 things on my side, but are you okay with that ?

[iosefa]

@iosefa Thanks for creating this PR! If possible, supporting the followings are more useful, I think.

1. Support pgRouting patch version (3.7.x, etc.) tag

   • Related comment: Single docker image for minor release #55 (comment)

2. Push docker images only when patch version update or commit hash update in pgRouting main and develop

   • I guess that this needs version.txt format update in main and develop, but I need to remember what I did in PR Single docker image for minor release #55...

I want to try the above 2 things on my side, but are you okay with that ?

@sanak sure! if you want to add those two things and work from here, that is fine with me. Thank you!

[sanak]

@sanak sure! if you want to add those two things and work from here, that is fine with me. Thank you!

Thanks for confirmation!
I will be a bit busy until 1/31(Fri), so it may take until 2/3(Mon).

[sanak]

Hi @pgRouting/admins, @krashish8, @iosefa (CC: @smellman)
This PR is ready for merge, so reviewing diffs (especially, .github/workflows/main.yml and Makefile) is helpful. 🙇

Changes proposed in this pull request:

• Add GitHub Actions which build and push docker images with DockerHub pgroutingmachineuser account
• Update Makefile with referring the following docker-postgis PRs:
  • - Added test targets to Makefile postgis/docker-postgis#176
  • Makefile rules/documentation and continuous deployment via TravisCI postgis/docker-postgis#183
• Update and drop versions:
  • PostgreSQL: Add 17 and drop 11,12
  • PostGIS: Add 3.5 and drop 3.3,3.4
  • pgRouting: Add 3.6,3.7 and drop 3.3,3.4
• Update README.md
• Delete old syntax folders: 726f9e1

About DockerHub image push, I confirmed it on my account without extra image with the following diff.

• DockerHub sanak/pgrouting: https://hub.docker.com/repository/docker/sanak/pgrouting/tags
• Code diff: sanak@6d7a092

The followings are a bit challenging, so I am planning to do those with another PRs.

• Build and push docker images only when detecting updates either of pgRouting/pgrouting, postgis/docker-postgis and docker-library/postgres.
• Create PR automatically with scheduled (daily) when detecting pgRouting/pgrouting patch version or main/develop branch update.