From c6d5b2904c051135356b11b33cd718a380b96804 Mon Sep 17 00:00:00 2001
From: Ashley Huo <x2huo@uwaterloo.ca>
Date: Mon, 11 Dec 2023 15:09:19 -0500
Subject: [PATCH] try making deploy depend on lint

---
 .github/workflows/build-and-deploy.yml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/build-and-deploy.yml b/.github/workflows/build-and-deploy.yml
index 7e8b9f7..bf56c49 100644
--- a/.github/workflows/build-and-deploy.yml
+++ b/.github/workflows/build-and-deploy.yml
@@ -1,14 +1,13 @@
 name: Build-And-Deploy
 
 on:
-  push:
-    branches:
-      - master
-  pull_request:
+  workflow_run:
+      workflows: [ "Lint"]
+      types:
+        - completed
 
 jobs:
   docker:
-    needs: lint
     runs-on: ubuntu-latest
     steps:
       - name: Checkout