Merge pull request #7 from lecopivo/examples-ci

Have CI run working examples. This ensures that our changes keep the examples working.

.github/workflows/main.yml

@@ -5,6 +5,12 @@ on:
   push:
     branches: ["master"]
 
+  # Runs on PRs against master.
+  pull_request:
+    branches:
+      - master
+
+
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -20,7 +26,6 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-
   build: 
     runs-on: ubuntu-latest
     steps:
@@ -36,6 +41,8 @@ jobs:
         run: lake exe cache get
       - name: Build SciLean
         run: lake build
+      - name: Run Examples
+        run: make examples
       - name: Setup Pages
         uses: actions/configure-pages@v2
       - name: Upload artifact
@@ -46,6 +53,9 @@ jobs:
 
   # Single deploy job since we're just deploying
   deploy:
+    # only build on `master` branch of the actual remote, NOT on PRs.
+    # this stops PRs from attempting to deploy GH pages and failing to do so.
+    if: github.ref == 'refs/heads/master' && github.event_name != 'pull_request'
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}

Makefile

@@ -0,0 +1,5 @@
+.PHONY: examples
+
+examples:
+	lake build SurfaceMeshTests
+	./build/bin/SurfaceMeshTests