Merge pull request #63 from pgRouting/workflows/add-ci-workflow

Add GitHub Actions workflow for Docker image CI

Author: robe2

.github/workflows/main.yml

@@ -0,0 +1,52 @@
+name: Docker pgRouting CI
+
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches:
+      - master
+
+defaults:
+  run:
+    shell: bash
+
+jobs:
+  make-docker-images:
+    strategy:
+      fail-fast: false
+      matrix:
+        postgres: [13, 14, 15, 16, 17]
+        postgis: [3.5]
+        pgrouting: [3.6, 3.7, main, develop]
+
+    name: Build Docker image for ${{ matrix.postgres }}-${{ matrix.postgis }}-${{ matrix.pgrouting }}
+    runs-on: ubuntu-24.04
+    continue-on-error: ${{ (matrix.pgrouting == 'develop') || (matrix.pgrouting == 'main') }}
+    env:
+      VERSION: ${{ matrix.postgres }}-${{ matrix.postgis }}-${{ matrix.pgrouting }}
+
+    steps:
+    - name: Checkout source
+      uses: actions/checkout@v4
+
+    - name: Build docker image for ${{ env.VERSION }}
+      run: make build
+
+    - name: Test docker image for ${{ env.VERSION }}
+      run: make test
+
+    - name: Login to Docker Hub
+      uses: docker/login-action@v3
+      if: ${{ (github.ref == 'refs/heads/master') && (github.event_name != 'pull_request') }}
+      with:
+        username: ${{ secrets.DOCKERHUB_USERNAME }}
+        password: ${{ secrets.DOCKERHUB_ACCESS_TOKEN }}
+
+    - name: Push docker image to Docker Hub
+      if: ${{ (github.ref == 'refs/heads/master') && (github.event_name != 'pull_request') }}
+      env:
+        DOCKERHUB_USERNAME: ${{ secrets.DOCKERHUB_USERNAME }}
+        DOCKERHUB_ACCESS_TOKEN: ${{ secrets.DOCKERHUB_ACCESS_TOKEN }}
+      run: make push