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/.github/workflows/push.yml b/.github/workflows/push_pr.yml similarity index 96% rename from .github/workflows/push.yml rename to .github/workflows/push_pr.yml index a243a50..4b385f1 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push_pr.yml @@ -1,6 +1,10 @@ name: CI on: + pull_request: + branches: + - main + push: branches: - main diff --git a/.gitignore b/.gitignore index 8448514..9d95f5e 100644 --- a/.gitignore +++ b/.gitignore @@ -1,5 +1,4 @@ -/lake-packages/* -/.lake +.lake .vscode *.olean