mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-11 23:08:30 +01:00
Commit some changes that have been around forever
I don't know if these will fix CI, but I guess they won't hurt.
This commit is contained in:
parent
b214cdbbf0
commit
d5cf56f232
5
.github/workflows/image.yml
vendored
5
.github/workflows/image.yml
vendored
@ -16,12 +16,11 @@ jobs:
|
|||||||
- uses: actions/checkout@v4
|
- uses: actions/checkout@v4
|
||||||
|
|
||||||
- name: Log into Github registry
|
- name: Log into Github registry
|
||||||
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login docker.pkg.github.com -u ${{ github.actor }} --password-stdin
|
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin
|
||||||
|
|
||||||
- name: Build image
|
- name: Build image
|
||||||
run: |
|
run: |
|
||||||
IMAGE_ID=docker.pkg.github.com/${{ github.repository }}/build:${GITHUB_REF#refs/heads/}
|
IMAGE_ID=ghcr.io/${{ github.repository }}/build:${GITHUB_REF#refs/heads/}
|
||||||
#IMAGE_ID=${{ github.repository }}:${GITHUB_REF#refs/heads/}
|
|
||||||
docker build . -f Dockerfile --tag $IMAGE_ID
|
docker build . -f Dockerfile --tag $IMAGE_ID
|
||||||
docker push $IMAGE_ID
|
docker push $IMAGE_ID
|
||||||
echo Pushed new build image $IMAGE_ID
|
echo Pushed new build image $IMAGE_ID
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user