More thorough install check (Linux) (#507)

* More thorough install check (Linux)

* Correcting indentation.

* the executable is called 'main'

Author: lemire

.github/workflows/ubuntu_install.yml

@@ -23,12 +23,17 @@ concurrency:
 jobs:
   ubuntu-build:
     runs-on: ubuntu-22.04
+    strategy:
+      matrix:
+        include:
+          - {shared: ON}
+          - {shared: OFF}
     steps:
       - uses: actions/checkout@f43a0e5ff2bd294095638e18286ca9a3d1956744 # v3.6.0
       - name: Setup Ninja
         run: sudo apt-get install ninja-build
       - name: Prepare
-        run: cmake -G Ninja -DCMAKE_INSTALL_PREFIX:PATH=destination -B build
+        run: cmake -G Ninja -DBUILD_SHARED_LIBS=${{matrix.shared}} -DCMAKE_INSTALL_PREFIX:PATH=destination -B build
       - name: Build
         run: cmake --build build -j=2
       - name: Install
@@ -37,3 +42,5 @@ jobs:
         run: cmake -DCMAKE_INSTALL_PREFIX:PATH=../../destination -S tests/installation -B buildbabyada
       - name: Build test package
         run: cmake --build buildbabyada
+      - name: Run example
+        run: ./buildbabyada/main