Skip to content

Commit

Permalink
should fix #37 - solving ghcr push issue
Browse files Browse the repository at this point in the history
  • Loading branch information
haochenx committed Jul 10, 2023
1 parent b5618a6 commit b187d4e
Showing 1 changed file with 5 additions and 5 deletions.
10 changes: 5 additions & 5 deletions .github/workflows/ocaml-general.yml
Original file line number Diff line number Diff line change
Expand Up @@ -56,11 +56,6 @@ jobs:

- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v2
# https://github.com/docker/build-push-action/issues/761#issuecomment-1575006515
# https://github.com/kxcinc/pubinfra.dockerfiles/issues/37
with:
driver-opts: |
image=moby/buildkit:v0.10.6

- run: mkdir -p ${{ env.CACHE_DIR }}

Expand Down Expand Up @@ -139,6 +134,11 @@ jobs:

- name: Set up Docker Buildx
uses: docker/setup-buildx-action@v2
# https://github.com/docker/build-push-action/issues/761#issuecomment-1575006515
# https://github.com/kxcinc/pubinfra.dockerfiles/issues/37
with:
driver-opts: |
image=moby/buildkit:v0.10.6
- run: mkdir -p ${{ env.CACHE_DIR }}

Expand Down

0 comments on commit b187d4e

Please sign in to comment.