Update Pipfile.lock

Author: sidra-asa

.github/workflows/smoke_test.yml

@@ -22,7 +22,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        os: [ubuntu-latest, macos-latest, windows-latest]
+        os: [ubuntu-latest, macos-13, windows-latest]
         python-version: [3.8, 3.9]
 
     steps:
@@ -47,7 +47,7 @@ jobs:
     - run: sudo apt-get -y install graphviz
       if: matrix.os == 'ubuntu-latest'
     - run: brew install graphviz
-      if: matrix.os == 'macOS-latest'
+      if: matrix.os == 'macos-13'
     - run: choco install graphviz
       if: matrix.os == 'windows-latest'