commit 682b2afcf2f721df57fd89bcee0b37d406283b78
author Davide Pesavento <davidepesa@gmail.com> Fri Feb 23 21:25:41 2024 -0500
committer Davide Pesavento <davidepesa@gmail.com> Fri Feb 23 21:25:41 2024 -0500
tree e03545421f5dbbcee7eb1a5579038b01098acbbf
parent 0ecbec0cdb1ed9f7c0f0dbccf2cdddabc726dc61

build: tell libc++ to avoid including transitive headers

And apply BOOST_*_NO_DEPRECATED to debug builds only

Change-Id: I6fdd5176bd2a84938af13c343982cd9c0e0573e3

.github/workflows/docker.yml

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 5778e25..e324a31 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,12 +1,14 @@
 name: Publish Docker image
-
 on:
   push:
     branches:
       - master
     paths-ignore:
       - '*.md'
+      - '.jenkins'
+      - '.jenkins.d/**'
       - '.mailmap'
+      - 'tests/**'
   workflow_dispatch:
 
 permissions:
@@ -15,7 +17,6 @@
 
 env:
   REGISTRY: ghcr.io
-  IMAGE_NAME: ${{ github.repository }}
 
 jobs:
   publish:
@@ -35,7 +36,7 @@
         id: meta
         uses: docker/metadata-action@v5
         with:
-          images: ${{ env.REGISTRY }}/${{ env.IMAGE_NAME }}
+          images: ${{ env.REGISTRY }}/${{ github.repository }}
           flavor: latest=true
 
       - name: Build and push Docker image