From 9fd703052ca7fdad49cae12a68da00662e5b6da7 Mon Sep 17 00:00:00 2001
From: Peiyang-Song <p_song@ucsb.edu>
Date: Sun, 21 Jan 2024 16:13:35 -0800
Subject: [PATCH 1/3] Add CI for PR targeting main

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

diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml
index a243a50..4b385f1 100644
--- a/.github/workflows/push.yml
+++ b/.github/workflows/push.yml
@@ -1,6 +1,10 @@
 name: CI
 
 on:
+  pull_request:
+    branches:
+      - main
+      
   push:
     branches:
       - main

From f5d0a377b94a0033b9cf06e05f2cb61a5fb8862d Mon Sep 17 00:00:00 2001
From: Peiyang-Song <p_song@ucsb.edu>
Date: Sun, 21 Jan 2024 16:15:43 -0800
Subject: [PATCH 2/3] Rename CI

---
 .github/workflows/{push.yml => push_pr.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{push.yml => push_pr.yml} (100%)

diff --git a/.github/workflows/push.yml b/.github/workflows/push_pr.yml
similarity index 100%
rename from .github/workflows/push.yml
rename to .github/workflows/push_pr.yml

From e778bb1180c18f6d74505f3d34ca075bf14694dc Mon Sep 17 00:00:00 2001
From: Peiyang-Song <p_song@ucsb.edu>
Date: Sun, 21 Jan 2024 16:51:59 -0800
Subject: [PATCH 3/3] Update ignore for .lake

---
 .dockerignore | 1 -
 .gitignore    | 3 +--
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/.dockerignore b/.dockerignore
index 7ec9687..0d98832 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -1,7 +1,6 @@
 *.txt
 .vscode
 tmp
-lake-packages
 .lake
 clang+llvm*
 python/__pycache__
\ No newline at end of file
diff --git a/.gitignore b/.gitignore
index 8448514..9d95f5e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,4 @@
-/lake-packages/*
-/.lake
+.lake
 
 .vscode
 *.olean