Build PRs separately

wolverian · Dec 7, 2021 · df6bd34 · df6bd34
1 parent 63d002d
commit df6bd34
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 2 deletions.
diff --git a/.github/workflows/github-pages.yml b/.github/workflows/github-pages.yml
@@ -3,8 +3,6 @@ name: GitHub Pages
 on:
   push:
     branches: [main]
-  pull_request:
-    branches: [main]
 
 jobs:
   build:

diff --git a/.github/workflows/pr.yml b/.github/workflows/pr.yml
@@ -0,0 +1,19 @@
+name: Build PR
+
+on:
+  pull_request:
+    branches: [main]
+
+jobs:
+  build:
+    name: Build
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - uses: cachix/install-nix-action@v15
+      - uses: cachix/cachix-action@v10
+        with:
+          name: agda-template
+          authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}
+      - name: Build HTML
+        run: nix build --verbose --print-build-logs
-Original file line number
+Diff line change
@@ Expand Up / @@ -3,8 +3,6 @@ name: GitHub Pages @@
     on:
       push:
         branches: [main]
-      pull_request:
-        branches: [main]
     jobs:
       build:
@@ Expand Down @@