wip

.github/workflows/build.yaml

@@ -1,5 +1,5 @@
 # Regarding build steps, this is a copy of the Dockerfile and should be kept in-sync
-name: Build pumptools
+name: "Build pumptools"
 
 on:
   push:
@@ -8,6 +8,7 @@ on:
   release:
     types:
       - created
+  workflow_dispatch: # allows you to trigger manually
 
 jobs:
   Explore-GitHub-Actions:
@@ -26,13 +27,22 @@ jobs:
       - run: echo "🍏 This job's status is ${{ job.status }}."
 
   build:
-    runs-on: ubuntu-20.04
+    runs-on: "ubuntu-20.04"
     steps:
-      - uses: actions/checkout@v2
-      - name: Install docker
+      - name: "Checkout repository"
+        uses: "actions/checkout@v2"
+
+      - name: "Show workspace"
+        run: |
+          pwd
+          ls -lah
+
+      - name: "Install docker"
         run: apt-get update && apt-get install docker-ce docker-ce-cli containerd.io
-      - name: Build
+      
+      - name: "Build"
         run: make build-docker
+
 #       - name: "Install prerequisites"
 #         run: |
 #           dpkg --add-architecture i386