diff --git a/.github/workflows/devel-build.yml b/.github/workflows/devel-build.yml
new file mode 100644
index 0000000..43f4a0d
--- /dev/null
+++ b/.github/workflows/devel-build.yml
@@ -0,0 +1,13 @@
+name: Cardinal CI workflow
+run-name: Cardinal CI workflow run
+on:
+  - push
+jobs:
+  build:
+    # TODO confirm the base image we should use. "latest"
+    # leaves us open to unexpected breakage if there's a
+    # breaking change in the base image; we should control
+    # when we update the base.
+    runs-on: ubuntu-latest
+    steps:
+      - run: echo "Running the Cardinal CI workflow. Triggered by ${{ github.event_name }}"