From 2f2386ef5a505c7391e75096736fa3e99894d7a4 Mon Sep 17 00:00:00 2001
From: Pieter Noordhuis <pieter.noordhuis@databricks.com>
Date: Tue, 5 Sep 2023 11:58:56 +0200
Subject: [PATCH] Work on GitHub Action (#733)

## Changes

* Run the build workflow on push to main to properly use the build cache

Same as https://github.com/databricks/databricks-sdk-go/pull/601.

## Tests

n/a
---
 .github/workflows/push.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index 6194d490..f0fa2ee6 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -5,6 +5,14 @@ on:
     types: [opened, synchronize]
   merge_group:
     types: [checks_requested]
+  push:
+    # Always run on push to main. The build cache can only be reused
+    # if it was saved by a run from the repository's default branch.
+    # The run result will be identical to that from the merge queue
+    # because the commit is identical, yet we need to perform it to
+    # seed the build cache.
+    branches:
+      - main
 
 jobs:
   tests: