ci: add build testing against named-data PPA

Also, skip examples in code-coverage builds

Change-Id: I11a728eb3f469e0838217fada5184833ba191198
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a9f36bb..8cbb310 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,3 +10,7 @@
     uses: named-data/actions/.github/workflows/jenkins-script-ubuntu.yml@v1
   macOS:
     uses: named-data/actions/.github/workflows/jenkins-script-macos.yml@v1
+  PPA:
+    uses: named-data/actions/.github/workflows/ppa.yml@v1
+    with:
+      extra-deps: libboost-iostreams-dev
diff --git a/.jenkins.d/10-build.sh b/.jenkins.d/10-build.sh
index 470c1ba..c1e2ded 100755
--- a/.jenkins.d/10-build.sh
+++ b/.jenkins.d/10-build.sh
@@ -21,16 +21,16 @@
     # Cleanup
     ./waf --color=yes distclean
 
-    # Build in release mode without tests
-    ./waf --color=yes configure
+    # Build in release mode with examples
+    ./waf --color=yes configure --with-examples
     ./waf --color=yes build
 
     # Cleanup
     ./waf --color=yes distclean
 fi
 
-# Build in debug mode with tests and examples
-./waf --color=yes configure --debug --with-tests --with-examples $ASAN $COVERAGE $LZMA
+# Build in debug mode with tests
+./waf --color=yes configure --debug --with-tests $ASAN $COVERAGE $LZMA
 ./waf --color=yes build
 
 # (tests will be run against the debug version)