mirror of
https://github.com/commercialhaskell/stackage-server.git
synced 2026-01-12 04:08:29 +01:00
Remove unused workflows
These should be replaced with.. something..
This commit is contained in:
parent
f7b7a61a0a
commit
c01f1ab2ad
31
.github/workflows/base.yml
vendored
31
.github/workflows/base.yml
vendored
@ -1,31 +0,0 @@
|
|||||||
name: Base image
|
|
||||||
|
|
||||||
on:
|
|
||||||
push:
|
|
||||||
branches: [base]
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
push:
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
if: github.event_name == 'push'
|
|
||||||
|
|
||||||
steps:
|
|
||||||
- uses: actions/checkout@v2
|
|
||||||
|
|
||||||
- name: Log into Github registry
|
|
||||||
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin
|
|
||||||
|
|
||||||
- name: Build base run image
|
|
||||||
run: |
|
|
||||||
IMAGE_ID=ghcr.io/${{ github.repository }}/base-run:$GITHUB_SHA
|
|
||||||
docker build . -f docker/Dockerfile.base-run --tag base-run
|
|
||||||
docker tag base-run $IMAGE_ID
|
|
||||||
docker push $IMAGE_ID
|
|
||||||
echo Pushed new base image $IMAGE_ID
|
|
||||||
|
|
||||||
- name: Build base build image
|
|
||||||
run: |
|
|
||||||
IMAGE_ID=ghcr.io/${{ github.repository }}/base-build:$GITHUB_SHA
|
|
||||||
docker build . -f docker/Dockerfile.base-build --tag $IMAGE_ID
|
|
||||||
docker push $IMAGE_ID
|
|
||||||
echo Pushed new base build image $IMAGE_ID
|
|
||||||
29
.github/workflows/runtime.yml
vendored
29
.github/workflows/runtime.yml
vendored
@ -1,29 +0,0 @@
|
|||||||
name: Runtime image
|
|
||||||
|
|
||||||
on:
|
|
||||||
push:
|
|
||||||
branches: [master]
|
|
||||||
|
|
||||||
jobs:
|
|
||||||
push:
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
if: github.event_name == 'push'
|
|
||||||
|
|
||||||
steps:
|
|
||||||
- uses: actions/checkout@v2
|
|
||||||
|
|
||||||
- name: Log into Github registry
|
|
||||||
run: echo "${{ secrets.GITHUB_TOKEN }}" | docker login ghcr.io -u ${{ github.actor }} --password-stdin
|
|
||||||
|
|
||||||
- name: Build image
|
|
||||||
run: docker build . -f docker/Dockerfile.runtime --tag image
|
|
||||||
|
|
||||||
- name: Push to Docker Hub
|
|
||||||
run: |
|
|
||||||
echo "${{ secrets.DOCKER_HUB_TOKEN }}" | docker login --username fpcojenkins --password-stdin
|
|
||||||
IMAGE_ID=fpco/stackage-server-prod
|
|
||||||
docker tag image $IMAGE_ID
|
|
||||||
docker push $IMAGE_ID
|
|
||||||
IMAGE_ID=$IMAGE_ID:$GITHUB_SHA
|
|
||||||
docker tag image $IMAGE_ID
|
|
||||||
docker push $IMAGE_ID
|
|
||||||
Loading…
Reference in New Issue
Block a user