diff --git a/.github/workflows/libssl.yaml b/.github/workflows/libssl.yaml
index cce577a..3a9d011 100644
--- a/.github/workflows/libssl.yaml
+++ b/.github/workflows/libssl.yaml
@@ -41,6 +41,20 @@ jobs:
 
       - run: make PROFILE=debug test
       - run: make PROFILE=debug integration
+        # Note: we only check the client/server binaries here, assuming that
+        #       is sufficient for any other test binaries.
+      - name: Verify debug builds were using ASAN
+        run: |
+          nm target/client | grep '__asan_init'
+          nm target/server | grep '__asan_init'
+      - name: Build release binaries
+        run: |
+          make clean
+          make PROFILE=release
+      - name: Verify release builds were not using ASAN
+        run: |
+          nm target/client | grep -v '__asan_init'
+          nm target/server | grep -v '__asan_init'
 
   valgrind:
     name: Valgrind
diff --git a/rustls-libssl/simpleserv.sh b/rustls-libssl/simpleserv.sh
deleted file mode 100755
index cd6c6c9..0000000
--- a/rustls-libssl/simpleserv.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/usr/bin/env bash
-openssl s_server \
-  -cert test-ca/rsa/end.cert \
-  -cert_chain test-ca/rsa/inter.cert \
-  -key test-ca/rsa/end.key \
-  -alpn "hello,world" \
-  -accept localhost:4443 \
-  -rev