typos

.github/workflows/library_codegen.yml

@@ -67,9 +67,6 @@ jobs:
           distribution: "corretto"
           java-version: "17"
 
-      - name: Install Smithy-Dafny codegen dependencies
-        uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
-
       - name: Setup Python, black, and docformatter for code formatting
         uses: actions/setup-python@v4
         with:

.github/workflows/library_format.yml

@@ -46,7 +46,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodule we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init recursive smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]

.github/workflows/library_interop_tests.yml

@@ -41,7 +41,7 @@ jobs:
       #  Not all submodules are needed.
       # We manually pull the submodule we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init recursive smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       # Set up runtimes
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
@@ -170,7 +170,7 @@ jobs:
       #  Not all submodules are needed.
       # We manually pull the submodule we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init recursive smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       # Set up runtimes
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}

.github/workflows/library_java_tests.yml

@@ -58,7 +58,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init recursive smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]

.github/workflows/library_net_tests.yml

@@ -56,7 +56,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init recursive smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup .NET Core SDK ${{ matrix.dotnet-version }}
         uses: actions/setup-dotnet@v3

.github/workflows/library_python_tests.yml

@@ -61,7 +61,7 @@ jobs:
       # The specification submodule is private so we don't have access, but we don't need
       # it to verify the Dafny code. Instead we manually pull the submodules we DO need.
       - run: git submodule update --init libraries
-      - run: git submodule update --init recursive smithy-dafny
+      - run: git submodule update --init --recursive smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]