From c01f1ab2ad1f32808eb2dd5cd128ab417e05f7e9 Mon Sep 17 00:00:00 2001
From: Bryan Richter <bryan@haskell.foundation>
Date: Thu, 12 Dec 2024 16:59:25 +0200
Subject: [PATCH] Remove unused workflows

These should be replaced with.. something..
---
 .github/workflows/base.yml    | 31 -------------------------------
 .github/workflows/runtime.yml | 29 -----------------------------
 2 files changed, 60 deletions(-)
 delete mode 100644 .github/workflows/base.yml
 delete mode 100644 .github/workflows/runtime.yml

diff --git a/.github/workflows/base.yml b/.github/workflows/base.yml
deleted file mode 100644
index 221bc85..0000000
--- a/.github/workflows/base.yml
+++ /dev/null
@@ -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
diff --git a/.github/workflows/runtime.yml b/.github/workflows/runtime.yml
deleted file mode 100644
index ddcd9b0..0000000
--- a/.github/workflows/runtime.yml
+++ /dev/null
@@ -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