From 7e66e6a3f38e8c6008fde8810c5edabbfff617be Mon Sep 17 00:00:00 2001
From: William Lyles <26171886+wilyle@users.noreply.github.com>
Date: Tue, 20 Feb 2024 17:32:30 -0800
Subject: [PATCH] try wildcards

---
 .github/workflows/rust-ci.yml | 4 ++--
 tools/run_doctests.sh         | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/rust-ci.yml b/.github/workflows/rust-ci.yml
index 712197d..25928d7 100644
--- a/.github/workflows/rust-ci.yml
+++ b/.github/workflows/rust-ci.yml
@@ -13,7 +13,7 @@ env:
 
 jobs:
   static_code_analysis:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-20.04
     steps:
       - name: Checkout repository and submodules
         uses: actions/checkout@v3
@@ -54,7 +54,7 @@ jobs:
           args: --workspace --no-deps # Warnings are treated as errors due to our .cargo/config file.
 
   build_and_test:
-    runs-on: ubuntu-22.04
+    runs-on: ubuntu-20.04
     steps:
       - name: Checkout repository and submodules
         uses: actions/checkout@v3
diff --git a/tools/run_doctests.sh b/tools/run_doctests.sh
index a88c777..d3cb223 100755
--- a/tools/run_doctests.sh
+++ b/tools/run_doctests.sh
@@ -18,7 +18,7 @@ RETURN_CODE=$?
 echo $OUTPUT
 echo
 
-if [[ "$OUTPUT" =~ (error: no library targets found in packages) ]]; then
+if [[ $OUTPUT == *"error: no library targets found in packages"* ]]; then
     echo "Detected 'no library targets' error, which is being suppressed"
     exit 0
 else