From be93e4ff191fee0ce54e69d363b15e37635ee91f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gon=C3=A7alo=20Morais?= <gnclmorais@gmail.com>
Date: Sun, 16 Jul 2023 21:58:26 +0200
Subject: [PATCH] Docker build & test on GitHub Actions

---
 .github/workflows/docker.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .github/workflows/docker.yml

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
new file mode 100644
index 000000000..37c84d9d7
--- /dev/null
+++ b/.github/workflows/docker.yml
@@ -0,0 +1,15 @@
+name: Docker
+
+on: [ push, pull_request ]
+
+jobs:
+  test:
+    name: 'Docker-powered tests'
+    runs-on: ubuntu-latest
+    steps:
+    - name: Checkout code
+      uses: actions/checkout@v3
+    - name: Build Docker image
+      run: bin/dbuild
+    - name: Run tests
+      run: bin/drake