From ff806b58b2736bf3fa8deef6f046487df717c4e6 Mon Sep 17 00:00:00 2001
From: Nils Dijk <nils@citusdata.com>
Date: Tue, 1 Aug 2023 13:05:01 +0000
Subject: [PATCH] run when pushing the devcontainer branch

---
 .github/workflows/devcontainer.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/devcontainer.yml b/.github/workflows/devcontainer.yml
index 4ccb2d021..584c213d8 100644
--- a/.github/workflows/devcontainer.yml
+++ b/.github/workflows/devcontainer.yml
@@ -1,6 +1,9 @@
 name: "Build devcontainer"
 
 on:
+  push:
+    branches:
+      - "dev/devcontainer"
   workflow_dispatch:
 
 jobs: