m

Author: ajewellamz

.github/workflows/library_rust_tests.yml

@@ -54,17 +54,17 @@ jobs:
         uses: actions-rust-lang/setup-rust-toolchain@v1.10.1
         with:
           components: rustfmt
-      # TODO - uncomment this after Rust formatter works
+      # uncomment this after Rust formatter works
       # - name: Rustfmt Check
       #   uses: actions-rust-lang/rustfmt@v1
 
-      # TODO: Use setup-dafny-actions with correct version when Dafny releases 4.8.2
+      # Use setup-dafny-actions with correct version when Dafny releases 4.8.2
       - name: Setup Dafny
         uses: dafny-lang/setup-dafny-action@v1.7.0
         with:
           dafny-version: 4.9.0
 
-      # TODO: Remove this after the formatting in Rust starts working
+      # Remove this after the formatting in Rust starts working
       - name: smithy-dafny Rust hacks
         shell: bash
         run: |