cassiebuhler commited on
Commit
a8895c7
·
1 Parent(s): dbb5104

why is this workflow failing...

Browse files
Files changed (1) hide show
  1. .github/workflows/docker-image.yml +13 -3
.github/workflows/docker-image.yml CHANGED
@@ -1,13 +1,24 @@
1
  name: Binder Image
2
  on:
3
- workflow_dispatch: null
4
- push: null
 
5
  jobs:
6
  build:
7
  runs-on: ubuntu-latest
8
  permissions: write-all
9
  steps:
10
  - uses: actions/checkout@v3
 
 
 
 
 
 
 
 
 
 
11
  - name: Publish to GitHub Container Registry
12
  uses: elgohr/Publish-Docker-Github-Action@v5
13
  with:
@@ -15,4 +26,3 @@ jobs:
15
  username: ${{ github.actor }}
16
  password: ${{ secrets.GITHUB_TOKEN }}
17
  registry: ghcr.io
18
-
 
1
  name: Binder Image
2
  on:
3
+ workflow_dispatch:
4
+ push:
5
+
6
  jobs:
7
  build:
8
  runs-on: ubuntu-latest
9
  permissions: write-all
10
  steps:
11
  - uses: actions/checkout@v3
12
+
13
+ - name: Pre-pull base image (retry)
14
+ run: |
15
+ for i in 1 2 3 4 5; do
16
+ docker pull python:3.12-slim && exit 0
17
+ echo "Docker Hub pull failed (attempt $i). Retrying in 15s..."
18
+ sleep 15
19
+ done
20
+ exit 1
21
+
22
  - name: Publish to GitHub Container Registry
23
  uses: elgohr/Publish-Docker-Github-Action@v5
24
  with:
 
26
  username: ${{ github.actor }}
27
  password: ${{ secrets.GITHUB_TOKEN }}
28
  registry: ghcr.io