diff --git a/.github/workflows/makefile.yml b/.github/workflows/makefile.yml
new file mode 100644
index 000000000..bf863c50c
--- /dev/null
+++ b/.github/workflows/makefile.yml
@@ -0,0 +1,19 @@
+name: Makefile CI
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: docker-practice/actions-setup-docker@master
+    - uses: actions/checkout@v3
+
+    - name: build
+      run: make docker
diff --git a/docker/tools/onlbuilder b/docker/tools/onlbuilder
index be1bc15b1..8e85cfca0 100755
--- a/docker/tools/onlbuilder
+++ b/docker/tools/onlbuilder
@@ -1,4 +1,4 @@
-#!/usr/bin/python2
+#!/usr/bin/python
 
 import os
 import sys
@@ -126,10 +126,10 @@ logger.debug('arguments: %s\n' % vars(ops))
 
 if ops.pull:
    try:
-      print "Pulling %s..." % ops.image
+      print("Pulling %s..." % ops.image)
       x = subprocess.check_output(('docker', 'pull', ops.image), stderr=subprocess.STDOUT)
-      print "done."
-   except subprocess.CalledProcessError, e:
+      print("done.")
+   except subprocess.CalledProcessError as e:
       sys.stderr.write("** Failed to pull the docker image %s (%d):\n\n%s\n" % (ops.image, e.returncode, e.output))
       sys.exit(1)