···

       
95
       
95
       
 
       
          #cache-to: type=registry,ref=quay.io/ajhalili2006/mkdocs-material-build-ci:buildkit-cache-web

     

       
96
       
96
       
 
       
      - name: Workaround pushbot for misbehaving reverse proxies

     

       
97
       
97
       
 
       
        if: ${{ github.event_name != 'pull_request' }}

     

       
98
       
98
       
-
       
        run: echo "${{ steps.meta.outputs.tags }}" | xargs -I {} docker push {}

     

       
98
       
98
       
+
       
        run: |

     

       
99
       
99
       
+
       
          set -x

     

       
100
       
100
       
+
       
          echo "${{ steps.meta.outputs.tags }}" | xargs --verbose -I {} docker push {}

     

       
99
       
101
       
 
       
  devenv:

     

       
100
       
102
       
 
       
    name: Generate Gitpod workspace image snapshot

     

       
101
       
103
       
 
       
    runs-on: ubuntu-latest

     
···

       
171
       
173
       
 
       
          #cache-to: type=registry,ref=quay.io/ajhalili2006/gitpod-workspace:buildkit-cache-web

     

       
172
       
174
       
 
       
      - name: Workaround pushbot for misbehaving reverse proxies

     

       
173
       
175
       
 
       
        if: ${{ github.event_name != 'pull_request' }}

     

       
174
       
174
       
-
       
        run: echo "${{ steps.meta.outputs.tags }}" | xargs -I {} docker push {}

     

       
176
       
176
       
+
       
        run: |

     

       
177
       
177
       
+
       
          set -x

     

       
178
       
178
       
+
       
          echo "${{ steps.meta.outputs.tags }}" | xargs --verbose -I {} docker push {}