From b1fedc5c3897da4fd22b289fb0bdd8dc943eb762 Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Fri, 22 May 2020 14:47:53 +0200
Subject: [PATCH] Build Docker Images from GitHub Actions (#3206)

---
 .../workflows/docker-racketci-builddeps.yml   | 28 +++++++++++++++++++
 .../workflows/docker-racketci-testdeps.yml    | 28 +++++++++++++++++++
 2 files changed, 56 insertions(+)
 create mode 100644 .github/workflows/docker-racketci-builddeps.yml
 create mode 100644 .github/workflows/docker-racketci-testdeps.yml

diff --git a/.github/workflows/docker-racketci-builddeps.yml b/.github/workflows/docker-racketci-builddeps.yml
new file mode 100644
index 0000000000..91b4440238
--- /dev/null
+++ b/.github/workflows/docker-racketci-builddeps.yml
@@ -0,0 +1,28 @@
+name: Build BuildDeps RacketCI Image
+
+on:
+  push:
+    paths:
+      - '.github/workflows/DockerImages/Dockerfile.builddeps'
+      - '.github/workflows/docker-racketci-builddeps.yml'
+
+jobs:
+  build-image:
+    runs-on: ubuntu-18.04
+
+    env:
+      IMAGE_NAME: racket-ci
+      VERSION: builddeps
+
+    steps:
+      - uses: actions/checkout@v2
+      - name: Build image
+        working-directory: ./.github/workflows/DockerImages
+        run: docker build --tag image --file Dockerfile.builddeps .
+      - name: Log into registry
+        run: echo "${{ secrets.DOCKER_TOKEN }}" | docker login -u pmatos --password-stdin
+      - name: Push image
+        run: |
+          IMAGE_ID=racket/$IMAGE_NAME
+          docker tag image $IMAGE_ID:$VERSION
+          docker push $IMAGE_ID:$VERSION
diff --git a/.github/workflows/docker-racketci-testdeps.yml b/.github/workflows/docker-racketci-testdeps.yml
new file mode 100644
index 0000000000..a7351fdd01
--- /dev/null
+++ b/.github/workflows/docker-racketci-testdeps.yml
@@ -0,0 +1,28 @@
+name: Build BuildDeps RacketCI Image
+
+on:
+  push:
+    paths:
+      - '.github/workflows/DockerImages/Dockerfile.testdeps'
+      - '.github/workflows/docker-racketci-testdeps.yml'
+
+jobs:
+  build-image:
+    runs-on: ubuntu-18.04
+
+    env:
+      IMAGE_NAME: racket-ci
+      VERSION: testdeps
+
+    steps:
+      - uses: actions/checkout@v2
+      - name: Build image
+        working-directory: ./.github/workflows/DockerImages
+        run: docker build --tag image --file Dockerfile.testdeps .
+      - name: Log into registry
+        run: echo "${{ secrets.DOCKER_TOKEN }}" | docker login -u pmatos --password-stdin
+      - name: Push image
+        run: |
+          IMAGE_ID=racket/$IMAGE_NAME
+          docker tag image $IMAGE_ID:$VERSION
+          docker push $IMAGE_ID:$VERSION