diff --git a/.github/workflows/bazel.yaml b/.github/workflows/bazel.yaml
index 574c0a9..00d4a5d 100644
--- a/.github/workflows/bazel.yaml
+++ b/.github/workflows/bazel.yaml
@@ -45,16 +45,7 @@ jobs:
       -
         run: bazel test //... --test_output=errors --test_summary=detailed
       -
-        name: Integration Tests (ie Examples)
+        name: Integration Tests (ie Proof Examples)
         run: bazel test //examples:all_integration_tests --test_output=errors --test_summary=detailed
-      -
-        name: Build / Test examples to ensure functionality
-        run: |
-            for d in $(find examples -name WORKSPACE -o -name MODULE.bazel -exec dirname {} \; ); do
-            echo "::group::example: ${d}"
-            (cd ${d} && echo "::group::build: ${d}" && bazel build //... );
-            #(cd ${d} && test 1 -le $(bazel query 'kind("test", "//...")' 2> /dev/null | wc -l ) && echo "::group::test: ${d}" && bazel test //...);
-            echo "::endgroup::"
-            done
       -
         run: bazel shutdown
diff --git a/examples/BUILD.bazel b/examples/BUILD.bazel
index 5f4d183..3c0e646 100644
--- a/examples/BUILD.bazel
+++ b/examples/BUILD.bazel
@@ -10,7 +10,14 @@ load("@rules_pkg//pkg:mappings.bzl", "pkg_attributes", "pkg_filegroup", "pkg_fil
 load("@rules_pkg//pkg:tar.bzl", "pkg_tar")
 load("@rules_synology//:defs.bzl", "images", "info_file", "maintainer", "protocol_file", "resource_config", "service_config")
 
-examples = ["cross-helloworld"]
+examples = [
+    "cross-helloworld",
+    "cross-helloworld-no-go",
+    "example-docker-project",
+    "example-kernelmod-spk",
+    # "example-prebuilt-binary-spk",
+    "example-server",
+]
 
 # Declare a test runner to drive the integration tests.
 default_test_runner(