From d3668453946ab4f2601d7f36a00db0513304e7e1 Mon Sep 17 00:00:00 2001
From: Linus Gasser <linus.gasser@epfl.ch>
Date: Wed, 23 Aug 2023 17:10:13 +0200
Subject: [PATCH] Making docker images

---
 .github/workflows/build.yml  | 2 +-
 .github/workflows/docker.yml | 5 ++++-
 .gitignore                   | 1 +
 3 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index acbf6cf..4b6526b 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -10,7 +10,7 @@ on:
 jobs:
   build:
     name: Lint, build and test
-    runs-on: ubuntu-18.04
+    runs-on: ubuntu-22.04
 
     steps:
       - name: Checkout code
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 9b23cc8..4d82332 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -5,7 +5,7 @@ on:
 jobs:
   # This is copied from https://docs.github.com/en/actions/publishing-packages/publishing-docker-images
   build-and-push-image:
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-22.04
     permissions:
       contents: read
       packages: write
@@ -20,6 +20,9 @@ jobs:
           username: ${{ github.actor }}
           password: ${{ secrets.GITHUB_TOKEN }}
 
+      - name: Build requirements
+        cmd: make
+
       - name: Build and push Docker image for nodes
         id: build-and-push
         uses: docker/build-push-action@v4
diff --git a/.gitignore b/.gitignore
index 5902992..6d0d6d3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /services/
+dist